debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
\|
*	Changed ranking function for Seq, so that it's compatible with data types.	Unknown	2013-06-26
\|
*	Made Test/vstte2012/RingBuffer.dfy and Test/dafny1/ExtensibleArray.dfy more ↵	Rustan Leino	2013-04-22
\| \| \| \| \| \| \|	similar to RingBufferAuto.dfy and ExtensibleArrayAuto.dfy, respectively, so that the effect of {:autocontracts} is more easily seen.
*	Fixed bug in translation of method termination checks, and also fixed a ↵	Rustan Leino	2013-01-23
\| \| \| \|	(previously undetected) specification bug in the test suite.
*	Dafny: beautification in one test case, and fixed an Answer file	Rustan Leino	2011-09-29
\|
*	Dafny: retired the "call" keyword	Rustan Leino	2011-05-26
\|
*	Dafny: Fix parsing of if-then-else expressions, and don't require ↵	Rustan Leino	2011-04-21
\| \| \| \|	parentheses around forall/exists expressions
*	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: added test harness to Test/dafny1/ExtensibleArray.dfy	rustanleino	2011-02-16
\|
*	Dafny: added ExtensibleArray program as a test	rustanleino	2011-02-16