debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Implement workarounds for some tests that fail with /autoTriggers.	Clément Pit--Claudel	2015-08-28
\| \| \| \| \| \|	The issues here are mostly with induction (wrt. to trigger selection and quantifier splitting) and with expressions like P(i, j-1) where no good choices are available.
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
\|
*	Dafny: added COST Verification Competition challenge programs to test suite	Rustan Leino	2011-10-07