debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Allow forall statements in refinements	leino	2015-07-31
\|
*	Disallow parentheses-less declarations of predicates and co-predicates, ↵	leino	2014-08-27
\| \| \| \|	along with a backward-compatibility warning message if such declarations are attempted
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
\|
*	Dafny: added syntactic support for ...'s in statements, and started ↵	Unknown	2012-02-18
\| \| \| \|	implementation of refinement transformations thereof
*	Dafny: added signature checking to refinement	Rustan Leino	2012-01-17
\|
*	Dafny: added support for simple superposition refinements	Rustan Leino	2012-01-09
\|
*	Dafny: better error reporting on resolution of refinements. Replace ↵	kyessenov	2010-07-14
	assertions with "if"s to handle errors gently and add cycle detection check.