debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	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
\|
*	Fixed some incorrectly formed Boogie code generated as a result of a "break" ↵	Rustan Leino	2013-06-20
\| \| \| \|	sitting inside various statement structures
*	Support for paren-free guards in if and while statements.	Nadia Polikarpova	2013-02-15
\|
*	Dafny: Translate general LHSs for var and := (not yet for call, no ↵	Rustan Leino	2011-05-30
\| \| \| \|	compilation yet)
*	Dafny:	Rustan Leino	2011-05-26
\| \| \| \| \| \|	* fixed ghost/non-ghost story for breaks and returns * changed compilation/translation to always use goto's to implement Dafny's breaks * introduced "break break" statements
*	Dafny:	Rustan Leino	2011-05-21
\| \| \| \| \| \| \| \| \| \|	* started rewriting parsing of qualified identifiers in expressions * annoyingly, had to introduce AST nodes for concrete syntax * previous syntax for invoking datatype constructors: #List.Cons(h, t) new syntax: List.Cons(h, t) or, if only one datatype has a constructor named Cons: Cons(h, t) * Removed type parameters for datatype constructors from the grammar * Helped Test/VSI-Benchmarks/b4.dfy along with a couple of assertions (previously, its proving performance was highly varied)
*	Dafny: added alternative statement and alternative-loop statement	Rustan Leino	2011-05-19
\|
*	Dafny: let verifier, not the resolver, check for missing cases in match ↵	Rustan Leino	2011-05-19
	expressions/statements