debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	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 s...	Rustan Leino	2013-04-22
*	Fixed bug in translation of method termination checks, and also fixed a (prev...	Rustan Leino	2013-01-23
*	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 parentheses...	Rustan Leino	2011-04-21
*	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: added test harness to Test/dafny1/ExtensibleArray.dfy	rustanleino	2011-02-16
*	Dafny: added ExtensibleArray program as a test	rustanleino	2011-02-16