debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Made Test/vstte2012/RingBuffer.dfy and Test/dafny1/ExtensibleArray.dfy more s...	Rustan Leino	2013-04-22
*	The "choose" statement, hacky and specialized as it was, is now gone. Use th...	Rustan Leino	2013-03-27
*	Adjustments in the /vcsMaxKeepGoingSplits flag in the test suite	Rustan Leino	2013-03-09
*	Renamed "parallel" statement to "forall" statement, and made the parentheses ...	Rustan Leino	2013-03-06
*	Reverted some accidental changes to a test case	Rustan Leino	2013-02-11
*	Renamed a variable in some test cases	Rustan Leino	2013-02-02
*	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: reinstated autocontracts	Jason Koenig	2012-07-02
*	Dafny: fixed up test suite (temporarily removed autocontract tests)	Jason Koenig	2012-06-28
*	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: removed a now-inferred type-parameter instantiation in a test file	Unknown	2012-03-07
*	Dafny: added ghost modules (the meaning is simply that such a module will not...	Rustan Leino	2012-03-07
*	Dafny: added experimental feature {:autocontracts} to de-clutter idiomatic sp...	Unknown	2012-03-05
*	Dafny: call C# compiler directly from inside Dafny, and optionally produce a ...	Rustan Leino	2011-11-22
*	Added Dafny solutions to the VSTTE 2012 program verification competition	Rustan Leino	2011-11-15