debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Language change: All functions and methods declared lexically outside any cla...	leino	2014-12-12
*	Merge	Dan Rosén	2014-07-07
\|\
* \|	New logical encoding of types with Is and IsAlloc	Dan Rosén	2014-07-07
\| *	Removed the old test infrastructure.	wuestholz	2014-07-01
\|/
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
*	Add support for the /verifySeparately flag in Boogie and change most tests to...	wuestholz	2013-12-18
*	Fixed some goof-ups in the test script edits	Rustan Leino	2012-10-04
*	Added Test/dafny3 and another test file for iterators (hey, you can even run ...	Rustan Leino	2012-10-04
*	Undo bad merge.	afd	2012-06-27
*	Merged with default.	chmaria	2012-06-18
\|\
\| *	Dafny: cleaned up test scripts a little	Unknown	2012-06-14
\| *	Dafny: liberalized equality to work when the types could possibly be the same	Jason Koenig	2012-06-13
* \|	Dafny: Added tests.	chmaria	2012-06-12
\|/
*	Dafny: call C# compiler directly from inside Dafny, and optionally produce a ...	Rustan Leino	2011-11-22
*	Dafny: retired the "call" keyword	Rustan Leino	2011-05-26
*	Dafny: fixed compilation bugs, added @-signs in front of identifiers to avoid...	Rustan Leino	2011-05-11
*	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
*	Boogie:	rustanleino	2010-06-22
*	Dafny: Added two additional heuristics for guessing missing loop decreases c...	rustanleino	2010-06-11
*	Dafny:	rustanleino	2010-06-05
*	Dafny:	rustanleino	2010-05-21