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
*	Mark old "import A as B" syntax as deprecated. The new syntax is "import A : B"	qunyanm	2016-02-02
*	Fixed compilation of equality between reference types	leino	2015-11-11
*	Implemented resolution, verification, and (poorly performing) compilation of ...	leino	2015-10-05
*	Stop pretty-print from emitting deprecated semi-colons.	qunyanm	2015-03-05
*	Language change: All functions and methods declared lexically outside any cla...	leino	2014-12-12
*	Allow underscores in numeric literals (and in field/destructor names that are...	leino	2014-10-23
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
*	Added ghost let expressions.	Rustan Leino	2014-01-05
*	Add support for the :axiom attribute for ghost methods.	Bryan Parno	2013-12-13
*	Allow field names to be sequences of digits (this is nice, for example, to de...	Rustan Leino	2013-07-24
*	Fixed compilation bug where C# keywords were not being escaped	Rustan Leino	2013-06-25
*	renamed "abstract module" to "module facade"	Rustan Leino	2012-10-22
*	Dafny: updated test suite to new syntax	Jason Koenig	2012-07-30
*	Dafny: compilation of abstract modules, including local definitions (as in mo...	Jason Koenig	2012-07-17
*	Dafny: added support for co-recursive calls	Rustan Leino	2012-05-01
*	Dafny: fixed resolution bug for inductive datatypes (previous check did not h...	Unknown	2012-04-25