debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Fix some tests by locally disabling auto triggers	Clément Pit--Claudel	2015-08-28
*	Language change: All functions and methods declared lexically outside any cla...	leino	2014-12-12
*	Removed the old test infrastructure.	wuestholz	2014-07-01
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
*	Cleaned up some no longer needed parentheses in test file	Rustan Leino	2014-04-15
*	Add support for the /verifySeparately flag in Boogie and change most tests to...	wuestholz	2013-12-18
*	Moved resolution of BinaryExpr.ResolveOp until the CheckTypeInference phase, ...	Rustan Leino	2013-04-01
*	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
*	Dafny: Updated a test that would take a long time (almost 2h) to verify with ...	wuestholz	2012-09-18
*	Dafny: cleaned up test scripts a little	Unknown	2012-06-14
*	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: compile quantifiers	rustanleino	2011-03-26
*	Dafny: Fixed error in printing an error message. Changed "function method" ...	rustanleino	2011-01-11
*	Dafny: Improved default decreases clauses for methods and functions	rustanleino	2010-11-25
*	Dafny: Updated VSComp2010/Answer to correspond to recently updated test file	rustanleino	2010-11-21
*	Chalice: white space delta in test file	rustanleino	2010-11-17
*	Dafny:	rustanleino	2010-09-17
*	Dafny: Added Dafny solutions to the VSComp 2010 problems	rustanleino	2010-09-01