debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Make /autoTriggers:1 to be default. Add /autoTriggers:0 to tests that requires	qunyanm	2016-03-28
\| \| \| \| \|	it. Don't use pretty warning signs since we can't diff them correctly in the test output from the test run.
*	Added flying robots example to test suite	Rustan Leino	2016-01-06
\|
*	Add /autoTriggers:1 to remove the undeterminateness of proof search.	qunyanm	2015-12-15
\|
*	Implement workarounds for some tests that fail with /autoTriggers.	Clément Pit--Claudel	2015-08-28
\| \| \| \| \| \|	The issues here are mostly with induction (wrt. to trigger selection and quantifier splitting) and with expressions like P(i, j-1) where no good choices are available.
*	Change the induction heuristic for lemmas to also look in precondition for ↵	leino	2015-08-12
\| \| \| \| \| \|	clues about which parameters to include. As a result, improved many test cases (see, e.g., dafny4/NipkowKlein-chapter7.dfy!) and beautified some others.
*	Update z3 to 4.4. One test had to be edited.	Clément Pit--Claudel	2015-07-21
\|
*	Fixed bug in BplImp!	leino	2015-07-01
\| \| \| \|	Improvements in encoding of reads of function values.
*	Tried to reduce frame-axiom instantiations by saying the earlier heap must ↵	leino	2015-06-25
\| \| \| \| \| \|	be a "heap anchor". Currently, a heap is an anchor if it produced by a havoc (but not a direct update).
*	Changes to the VerifyThis2015 test programs	leino	2015-04-28
\|
*	Completed problems from the VerifyThis 2015 program verification competition	leino	2015-04-14