debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Fixed a problem where changes to a substMap were not being undone, curing Iss...	Rustan Leino	2013-06-20
*	One more test case for the "datatype constructor cases" axiom, namely the exa...	Rustan Leino	2013-06-20
*	Make "datatype constructor cases" axiom available whenever the discriminator ...	Rustan Leino	2013-06-20
*	Added a test case for "all cases of a datatype"	Unknown	2012-10-17
*	Dafny: updated test suite to new syntax	Jason Koenig	2012-07-30
*	Dafny: for a datatype with just one constructor, don't check (but do assume) ...	Rustan Leino	2011-12-19
*	Dafny: implemented the wellformedness check that datatype destructors are onl...	Rustan Leino	2011-11-11
*	Dafny: fixed parsing bug with "!in"	Rustan Leino	2011-09-08
*	Dafny: added implicit datatype query fields and datatype destructor fields	Rustan Leino	2011-06-05
*	Dafny: permanently changed the syntax of "datatype" declarations to what prev...	Rustan Leino	2011-05-27
*	Dafny:	Rustan Leino	2011-05-21
*	Dafny: support for nested match expressions	rustanleino	2011-03-01
*	Dafny:	rustanleino	2011-02-17
*	Added wellformedness checks to method specifications	rustanleino	2010-03-12
*	* Added decreases clauses to functions	rustanleino	2009-11-24
*	Added resolution and translation of algebraic datatypes and (in function bodi...	rustanleino	2009-11-20
*	Swapped previous file (Datatypes.bpl) for the correct test file (Datatypes.dfy).	rustanleino	2009-11-14