dafny1 « Test - debian-dafny - Debian packaging for Dafny

Mode	Name	Size
-rw-r--r--	BDD.dfy	1741	log plain
-rw-r--r--	BDD.dfy.expect	61	log plain
-rw-r--r--	BinaryTree.dfy	6488	log plain
-rw-r--r--	BinaryTree.dfy.expect	62	log plain
-rw-r--r--	Celebrity.dfy	2293	log plain
-rw-r--r--	Celebrity.dfy.expect	62	log plain
-rw-r--r--	Cubes.dfy	598	log plain
-rw-r--r--	Cubes.dfy.expect	61	log plain
-rw-r--r--	ExtensibleArray.dfy	3626	log plain
-rw-r--r--	ExtensibleArray.dfy.expect	62	log plain
-rw-r--r--	ExtensibleArrayAuto.dfy	3166	log plain
-rw-r--r--	ExtensibleArrayAuto.dfy.expect	62	log plain
-rw-r--r--	FindZero.dfy	2575	log plain
-rw-r--r--	FindZero.dfy.expect	61	log plain
-rw-r--r--	Induction.dfy	6257	log plain
-rw-r--r--	Induction.dfy.expect	62	log plain
-rw-r--r--	KatzManna.dfy	2006	log plain
-rw-r--r--	KatzManna.dfy.expect	61	log plain
-rw-r--r--	ListContents.dfy	2869	log plain
-rw-r--r--	ListContents.dfy.expect	62	log plain
-rw-r--r--	ListCopy.dfy	1578	log plain
-rw-r--r--	ListCopy.dfy.expect	61	log plain
-rw-r--r--	ListReverse.dfy	969	log plain
-rw-r--r--	ListReverse.dfy.expect	61	log plain
-rw-r--r--	MatrixFun.dfy	3000	log plain
-rw-r--r--	MatrixFun.dfy.expect	61	log plain
-rw-r--r--	MoreInduction.dfy	2477	log plain
-rw-r--r--	MoreInduction.dfy.expect	942	log plain
-rw-r--r--	PriorityQueue.dfy	5941	log plain
-rw-r--r--	PriorityQueue.dfy.expect	62	log plain
-rw-r--r--	Queue.dfy	4682	log plain
-rw-r--r--	Queue.dfy.expect	62	log plain
-rw-r--r--	Rippling.dfy	12929	log plain
-rw-r--r--	Rippling.dfy.expect	63	log plain
-rw-r--r--	SchorrWaite-stages.dfy	13606	log plain
-rw-r--r--	SchorrWaite-stages.dfy.expect	62	log plain
-rw-r--r--	SchorrWaite.dfy	11841	log plain
-rw-r--r--	SchorrWaite.dfy.expect	62	log plain
-rw-r--r--	SeparationLogicList.dfy	5425	log plain
-rw-r--r--	SeparationLogicList.dfy.expect	62	log plain
-rw-r--r--	Substitution.dfy	2853	log plain
-rw-r--r--	Substitution.dfy.expect	62	log plain
-rw-r--r--	SumOfCubes.dfy	2364	log plain
-rw-r--r--	SumOfCubes.dfy.expect	62	log plain
-rw-r--r--	TerminationDemos.dfy	2262	log plain
-rw-r--r--	TerminationDemos.dfy.expect	62	log plain
-rw-r--r--	TreeDatatype.dfy	2092	log plain
-rw-r--r--	TreeDatatype.dfy.expect	62	log plain
-rw-r--r--	UltraFilter.dfy	3320	log plain
-rw-r--r--	UltraFilter.dfy.expect	62	log plain
-rw-r--r--	UnboundedStack.dfy	2599	log plain
-rw-r--r--	UnboundedStack.dfy.expect	62	log plain
-rw-r--r--	pow2.dfy	970	log plain
-rw-r--r--	pow2.dfy.expect	61	log plain