debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Fix: Read clauses should be checked before lit lifting	Clément Pit--Claudel	2015-07-23
	The function IgnoreFuel in UnfoldingPerformance.dfy used to be lit-wrapped. It shouldn't be, because its reads clause is non-empty. This is not a soundness bug, but fixing it improves performance in cases where a function call would be incorrectly unrolled. Test case written by Rustan.