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	2307	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	6259	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	2866	log plain
-rw-r--r--	ListContents.dfy.expect	61	log plain
-rw-r--r--	ListCopy.dfy	1560	log plain
-rw-r--r--	ListCopy.dfy.expect	61	log plain
-rw-r--r--	ListReverse.dfy	951	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	2479	log plain
-rw-r--r--	MoreInduction.dfy.expect	942	log plain
-rw-r--r--	PriorityQueue.dfy	5881	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	12936	log plain
-rw-r--r--	Rippling.dfy.expect	63	log plain
-rw-r--r--	SchorrWaite-stages.dfy	13447	log plain
-rw-r--r--	SchorrWaite-stages.dfy.expect	62	log plain
-rw-r--r--	SchorrWaite.dfy	12163	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	2940	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	2139	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