debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
\|
*	Dafny: retired the "call" keyword	Rustan Leino	2011-05-26
\|
*	Dafny: Allow field selections and array-element selection as LHSs of ↵	Unknown	2011-04-05
\| \| \| \|	assignments where RHS is not just an expression
*	Dafny: Added support for an initializing call as part of the new-allocation ↵	rustanleino	2011-03-27
\| \| \| \| \| \| \| \| \| \| \|	syntax. What you previously would have written like: c := new C; call c.Init(x, y); you can now write as: c := new C.Init(x, y);
*	Dafny: Fixed error in printing an error message. Changed "function method" ↵	rustanleino	2011-01-11
\| \| \| \|	to "function" in a test case.
*	Dafny: Improved default decreases clauses for methods and functions	rustanleino	2010-11-25
\| \| \| \| \|	Dafny: Don't display "alloc" field in BVD Chalice: Fixed error-message parsing error in VS mode
*	Dafny: Added Dafny solutions to the VSComp 2010 problems	rustanleino	2010-09-01