debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Make /autoTriggers:1 to be default. Add /autoTriggers:0 to tests that requires	qunyanm	2016-03-28
*	Suppress many warnings in the test suite.	Clément Pit--Claudel	2015-08-28
*	Change the induction heuristic for lemmas to also look in precondition for cl...	leino	2015-08-12
*	Language change: All functions and methods declared lexically outside any cla...	leino	2014-12-12
*	Stricter rules about that types need to be completely resolved.	leino	2014-10-08
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
*	Fixed (completeness) bug in translation of automatic induction--previously, t...	Rustan Leino	2013-04-19
*	Disallow allocations in ghost contexts	Rustan Leino	2013-03-06
*	Renamed "parallel" statement to "forall" statement, and made the parentheses ...	Rustan Leino	2013-03-06
*	Dafny: allow parallel statements with an empty list of bound variables	Rustan Leino	2012-01-17
*	Dafny: parallel statements:	Rustan Leino	2012-01-17
*	Dafny induction:	Rustan Leino	2011-10-29
*	Dafny: implemented compilation of parallel statements	Rustan Leino	2011-10-25
*	Dafny: check subrange restriction in parallel Assign statement	Rustan Leino	2011-10-24
*	Dafny: continued translation of "parallel" statements (Assign and Proof forms...	Rustan Leino	2011-10-24
*	Dafny: changed triggers (which are never really used, anyhow) from having a s...	Rustan Leino	2011-10-21