debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Changed computation of ghosts until pass 2 of resolution.	leino	2015-09-28
*	Stop pretty-print from emitting deprecated semi-colons.	qunyanm	2015-03-05
*	Make sure to check that subrange types are not used as type parameters	leino	2015-01-23
*	Fixed type-inference bug that could create cycles in proxy type graph	leino	2014-10-28
*	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 resolution bug where "var x := x" was allowed.	Rustan Leino	2014-03-17
*	Fixed spurious complaint about assignment to non-ghost variable	Rustan Leino	2014-01-11
*	improved and fixed compilation and resolution of assign-such-that statements	Rustan Leino	2012-10-05
*	Dafny: deal with equality-support issues in refinements	Unknown	2012-06-22
*	Dafny: Changed the semantics of the assign-such-that statement "x :\| P;" to c...	Unknown	2012-06-13
*	Dafny: removed support for assigning to an array-range (that is, an assignmen...	Rustan Leino	2011-10-26
*	Dafny: changed syntax of havoc statements from "havoc X;" to "X := *;"	Rustan Leino	2011-05-28
*	Dafny: permanently changed the syntax of "datatype" declarations to what prev...	Rustan Leino	2011-05-27
*	Dafny: retired the "call" keyword	Rustan Leino	2011-05-26
*	Dafny:	Rustan Leino	2011-05-21
*	Dafny: added type "nat"	Rustan Leino	2011-04-19
*	Dafny: Allow field selections and array-element selection as LHSs of assignme...	Unknown	2011-04-05
*	Dafny: Added support for an initializing call as part of the new-allocation s...	rustanleino	2011-03-27
*	Dafny:	rustanleino	2010-09-17
*	Dafny:	rustanleino	2010-07-06
*	Dafny:	rustanleino	2010-05-21
*	Dafny: Added stratosphere tests for datatypes--that is, it is now checked th...	rustanleino	2010-03-11
*	* Added decreases clauses to functions	rustanleino	2009-11-24