debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Make /autoTriggers:1 to be default. Add /autoTriggers:0 to tests that requires	qunyanm	2016-03-28
*	Change the induction heuristic for lemmas to also look in precondition for cl...	leino	2015-08-12
*	Renamed "ghost method" to "lemma" whenever appropriate (which is most of the ...	Rustan Leino	2015-07-28
*	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
*	Change behavior of 'decreases *', which can be applied to loops and methods. ...	Rustan Leino	2014-08-19
*	Merge	Rustan Leino	2014-07-08
\|\
* \|	Cleaned up a test program	Rustan Leino	2014-07-08
\| *	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
* \|	Invert LHS sub-expressions in forall assignment statements, which gives the o...	Rustan Leino	2014-06-24
\|/
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
*	Removed unused declaration	Rustan Leino	2014-01-03
*	Changed BreadthFirstSearch example to no longer use "inductive naturals", seq...	Rustan Leino	2014-01-03
*	Add support for the /verifySeparately flag in Boogie and change most tests to...	wuestholz	2013-12-18
*	Added an assert to help the theorem prover out in the RingBuffer.Enqueue method.	Rustan Leino	2013-07-29
*	Changed ranking function for Seq, so that it's compatible with data types.	Unknown	2013-06-26
*	Beefed up axioms about cardinality and the empty (multi)set, which fixes Issu...	Rustan Leino	2013-06-20
*	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