debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	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