debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Suppress many warnings in the test suite.	Clément Pit--Claudel	2015-08-28
\| \| \| \| \|	We already have separate tests for those, and we want the output to be the same with and without /autoTriggers.
*	Stop pretty-print from emitting deprecated semi-colons.	qunyanm	2015-03-05
\|
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
\|
*	The "choose" statement, hacky and specialized as it was, is now gone. Use ↵	Rustan Leino	2013-03-27
\| \| \| \|	the assign-such-that statement instead. For example: x :\| x in S;
*	Dafny: allowed strictly finite datatypes in comprehensions, quantifiers, and ↵	Jason Koenig	2012-07-17
\| \| \| \|	parallel statements.
*	Dafny: retired the "call" keyword	Rustan Leino	2011-05-26
\|
*	Dafny: added set comprehension expressions	Rustan Leino	2011-05-18