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

Mode	Name	Size
-rw-r--r--	Apply.dfy	628	log plain
-rw-r--r--	Apply.dfy.expect	212	log plain
-rw-r--r--	Classes.dfy	969	log plain
-rw-r--r--	Classes.dfy.expect	298	log plain
-rw-r--r--	Compilation.dfy	1042	log plain
-rw-r--r--	Compilation.dfy.expect	198	log plain
-rw-r--r--	Consequence.dfy	184	log plain
-rw-r--r--	Consequence.dfy.expect	61	log plain
-rw-r--r--	Examples.dfy	1131	log plain
-rw-r--r--	Examples.dfy.expect	98	log plain
-rw-r--r--	Field.dfy	327	log plain
-rw-r--r--	Field.dfy.expect	437	log plain
-rw-r--r--	FnRef.dfy	1194	log plain
-rw-r--r--	FnRef.dfy.expect	676	log plain
-rw-r--r--	Fold.dfy	765	log plain
-rw-r--r--	Fold.dfy.expect	112	log plain
-rw-r--r--	Frame.dfy	2199	log plain
-rw-r--r--	Frame.dfy.expect	1098	log plain
-rw-r--r--	Lambda.dfy	1260	log plain
-rw-r--r--	Lambda.dfy.expect	464	log plain
-rw-r--r--	LambdaParsefail.dfy	459	log plain
-rw-r--r--	LambdaParsefail.dfy.expect	455	log plain
-rw-r--r--	LambdaParsefail2.dfy	158	log plain
-rw-r--r--	LambdaParsefail2.dfy.expect	105	log plain
-rw-r--r--	Monads.dfy	6168	log plain
-rw-r--r--	Monads.dfy.expect	62	log plain
-rw-r--r--	MutableField.dfy	214	log plain
-rw-r--r--	MutableField.dfy.expect	133	log plain
-rw-r--r--	Naked.dfy	1106	log plain
-rw-r--r--	Naked.dfy.expect	1852	log plain
-rw-r--r--	OneShot.dfy	349	log plain
-rw-r--r--	OneShot.dfy.expect	604	log plain
-rw-r--r--	ReadsReads.dfy	3225	log plain
-rw-r--r--	ReadsReads.dfy.expect	1124	log plain
-rw-r--r--	Renaming.dfy	498	log plain
-rw-r--r--	Renaming.dfy.expect	98	log plain
-rw-r--r--	Requires.dfy	1604	log plain
-rw-r--r--	Requires.dfy.expect	107	log plain
-rw-r--r--	ResolveError.dfy	2147	log plain
-rw-r--r--	ResolveError.dfy.expect	2267	log plain
-rw-r--r--	Simple.dfy	1735	log plain
-rw-r--r--	Simple.dfy.expect	880	log plain
-rw-r--r--	TreeMapSimple.dfy	1392	log plain
-rw-r--r--	TreeMapSimple.dfy.expect	171	log plain
-rw-r--r--	Twice.dfy	923	log plain
-rw-r--r--	Twice.dfy.expect	331	log plain
-rw-r--r--	Types.dfy	567	log plain
-rw-r--r--	Types.dfy.expect	335	log plain
-rw-r--r--	Underspecified.dfy	219	log plain
-rw-r--r--	Underspecified.dfy.expect	778	log plain
-rw-r--r--	VectorUpdate.dfy	1658	log plain
-rw-r--r--	VectorUpdate.dfy.expect	281	log plain
-rw-r--r--	WhileLoop.dfy	1001	log plain
-rw-r--r--	WhileLoop.dfy.expect	99	log plain