debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Adjusted (corrected, I think) test output	leino	2015-09-20
*	Fix some tests by locally disabling auto triggers	Clément Pit--Claudel	2015-08-28
*	Implement workarounds for some tests that fail with /autoTriggers.	Clément Pit--Claudel	2015-08-28
*	Suppress many warnings in the test suite.	Clément Pit--Claudel	2015-08-28
*	Renamed "ghost method" to "lemma" whenever appropriate (which is most of the ...	Rustan Leino	2015-07-28
*	Renamed "ghost method" to "lemma" in a couple of test files	Rustan Leino	2015-07-24
*	Fix: Unify column numbers in Dafny's errors	Clément Pit--Claudel	2015-07-23
*	Fix multiple tests that relied on z3 triggering on $Box	Clément Pit--Claudel	2015-07-13
*	Reflect cleaner syntax in some test programs	leino	2015-03-31
*	Stop pretty-print from emitting deprecated semi-colons.	qunyanm	2015-03-05
*	Language change: All functions and methods declared lexically outside any cla...	leino	2014-12-12
*	Updated a test case for new syntax and convensions	Rustan Leino	2014-11-03
*	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
*	Merge	Dan Rosén	2014-07-07
\|\
* \|	New logical encoding of types with Is and IsAlloc	Dan Rosén	2014-07-07
\| *	Merge	leino	2014-07-01
\| \|\
\| \| *	Removed the old test infrastructure.	wuestholz	2014-07-01
\| \|/ \|/\|
\| *	Clarified a refinement point in a test file	leino	2014-06-16
\|/
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
*	Minor clean-up in a couple of test files.	Rustan Leino	2014-02-24
*	Add support for the /verifySeparately flag in Boogie and change most tests to...	wuestholz	2013-12-18
*	Deactivated VC splitting in the tests.	wuestholz	2013-07-05
*	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
*	The "choose" statement, hacky and specialized as it was, is now gone. Use th...	Rustan Leino	2013-03-27
*	Updated two test files.	Rustan Leino	2013-03-22
*	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
*	Frame expressions are now checked to be well formed.	Rustan Leino	2013-02-13
*	Fixed another specification bug in a test case.	Rustan Leino	2013-01-23
*	Fixed bug in translation of method termination checks, and also fixed a (prev...	Rustan Leino	2013-01-23
*	Beefed up loop invariant to prove a functional postcondition in a test case.	Rustan Leino	2012-11-24
*	Beautified a test program	Rustan Leino	2012-11-19
*	renamed "abstract module" to "module facade"	Rustan Leino	2012-10-22
*	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 merge	Rustan Leino	2012-10-04
*	Dafny: removed allocated, changed semantics of fresh	Jason Koenig	2012-07-29
*	Dafny: reinstated autocontracts	Jason Koenig	2012-07-02
*	Dafny: fixed up test suite (temporarily removed autocontract tests)	Jason Koenig	2012-06-28
*	Dafny: fixed some test cases	Jason Koenig	2012-06-28
*	Dafny: Merge	Jason Koenig	2012-06-27
\|\
\| *	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
\| * \|	Merge	Unknown	2012-06-21
\| \|\\|
\| \| *	Dafny: improved refinement features; added staged version of the proof of the...	Unknown	2012-06-19
\| \|/ \|/\|
\| *	Merged with default.	chmaria	2012-06-18
\| \|\ \| \|/ \|/\|
* \|	Dafny: cleaned up test scripts a little	Unknown	2012-06-14