debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	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
*	Disallow automatic completion of type arguments to the LHS of datatype declar...	leino	2014-10-28
*	Allow array-type parameters to be filled in automatically.	leino	2014-07-02
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
*	Auto-set type arguments of built-in collection types, just like for user-defi...	Rustan Leino	2014-03-21
*	When inlining the body of a predicate (in a proof obligation--via TrSplitExpr),	Rustan Leino	2013-04-24
*	fixed type resolution bug (http://boogie.codeplex.com/discussions/403801)	Rustan Leino	2012-11-20
*	Dafny: Since it's no longer true that all types support equality at run-time ...	Unknown	2012-06-21
*	Fixed failing regression tests.	Jason Koenig	2011-07-14
*	Dafny: allow constructors only inside classes, removed semi-colons at end of ...	Rustan Leino	2011-07-11
*	Dafny: retired the "call" keyword	Rustan Leino	2011-05-26
*	Dafny: Improved scheme for splitting expressions. Also, report each split i...	rustanleino	2011-02-19
*	Dafny:	rustanleino	2011-02-17
*	Dafny: Another bug fix in SplitExpr, having to do with generic results of fu...	rustanleino	2010-06-09
*	Dafny:	rustanleino	2010-06-05
*	Dafny:	rustanleino	2010-03-11
*	Added resolution and translation of algebraic datatypes and (in function bodi...	rustanleino	2009-11-20
*	Redesigned the encoding of Dafny generics, including the built-in types set a...	rustanleino	2009-11-06
*	The Dafny call statement now automatically declares left-hand sides as local ...	rustanleino	2009-11-05
*	Initial set of files.	mikebarnett	2009-07-15