debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Added lemmas that make verification go through faster and more reliably	leino	2015-01-05
*	Extracted a separate class to generate fresh variable names.	wuestholz	2014-11-06
*	Change behavior of 'decreases *', which can be applied to loops and methods. ...	Rustan Leino	2014-08-19
*	Add higher-order-functions and some other goodies	Dan Rosén	2014-08-11
*	Removed the old test infrastructure.	wuestholz	2014-07-01
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
*	Add an assertion to a test case to make it less flaky (hopefully).	wuestholz	2013-12-18
*	Add support for the /verifySeparately flag in Boogie and change most tests to...	wuestholz	2013-12-18
*	Changed a test to verify within a reasonable time (10 s vs. 300 s).	wuestholz	2013-07-01
*	Updated a test to verify with Z3 4.3.0.	wuestholz	2013-05-21
*	Enhanced the VSI-Benchmarks tests:	Rustan Leino	2013-03-26
*	Renamed "parallel" statement to "forall" statement, and made the parentheses ...	Rustan Leino	2013-03-06
*	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: Fixed a test that would fail with Z3 4.1.	wuestholz	2012-09-07
*	Undo bad merge.	afd	2012-06-27
*	Merge	Unknown	2012-06-25
\|\
\| *	Dafny: Since it's no longer true that all types support equality at run-time ...	Unknown	2012-06-21
* \|	Merged with default.	chmaria	2012-06-18
\|\\|
\| *	Dafny: cleaned up test scripts a little	Unknown	2012-06-14
* \|	Dafny: Added tests.	chmaria	2012-06-12
* \|	Dafny: Added compiler tests.	chmaria	2012-06-11
\|/
*	Dafny: call C# compiler directly from inside Dafny, and optionally produce a ...	Rustan Leino	2011-11-22
*	Dafny: continued translation of "parallel" statements (Assign and Proof forms...	Rustan Leino	2011-10-24
*	Dafny: re-ran parser generator to include semicolon-less body-less functions/...	Rustan Leino	2011-07-26
*	Fixed regression test failures due to removal of bodiless methods and functions.	Jason Koenig	2011-07-15
*	Dafny: allow constructors only inside classes, removed semi-colons at end of ...	Rustan Leino	2011-07-11
*	Dafny: retired the "call" keyword	Rustan Leino	2011-05-26
*	Dafny:	Rustan Leino	2011-05-21
*	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
*	Added a comment noting that this test fails with Z3 2.4.	mschwerhoff	2010-07-06
*	Boogie:	rustanleino	2010-06-22
*	Dafny:	rustanleino	2010-06-14
*	Dafny: Added two additional heuristics for guessing missing loop decreases c...	rustanleino	2010-06-11
*	Dafny:	rustanleino	2010-05-21
*	Dafny:	rustanleino	2010-05-08
*	Dafny:	rustanleino	2010-05-06
*	Dafny:	rustanleino	2010-05-06
*	Dafny:	rustanleino	2010-03-16
*	Dafny: Added definedness checks for all statements (previously, some were mi...	rustanleino	2010-03-13
*	Added wellformedness checks to method specifications	rustanleino	2010-03-12
*	Dafny:	rustanleino	2010-03-12
*	Dafny:	rustanleino	2010-03-11
*	* Added decreases clauses to functions	rustanleino	2009-11-24
*	Added a sequence update expression in Dafny.	rustanleino	2009-11-06
*	Redesigned the encoding of Dafny generics, including the built-in types set a...	rustanleino	2009-11-06
*	The Dafny call statement now automatically declares left-hand sides as local ...	rustanleino	2009-11-05