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
*	Fix issue 103. Emit the quantifiers for ForallStmt before AutoTrigger so that	qunyanm	2015-11-25
*	Suppress many warnings in the test suite.	Clément Pit--Claudel	2015-08-28
*	Fix: Unify column numbers in Dafny's errors	Clément Pit--Claudel	2015-07-23
*	Minor fixes in .expect files	Clément Pit--Claudel	2015-07-16
*	Postpone reads checks of function preconditions until after the entire precon...	leino	2015-06-15
*	Combined some common routines into CheckWellformedAndAssume, which also allow...	leino	2015-06-12
*	Fix lit headers implicitly relying on bash-style constructs	Clément Pit--Claudel	2015-06-08
*	Beefed up collection axioms (in particular, for maps) to improve the chance o...	Rustan Leino	2015-03-10
*	Snapshot, to be continued	leino	2014-12-02
*	Resolve attributes of a forall statement only after bound variables have been...	leino	2014-10-29
*	Marked "free" as soon-to-be-deprecated	leino	2014-10-25
*	Updated expected test results for previous check-in	Rustan Leino	2014-07-02
*	Fixed a crash in the translation of fresh(seq<T>).	Rustan Leino	2014-07-02
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29