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.
*	Refactored SnapshotableTrees a bit and made it verify in a reasonable amount ↵	leino	2014-11-04
\| \| \| \|	of time :)
*	Added VC Splitting switch to dafny2/SnapshotableTrees.dfy to try to avoid ↵	leino	2014-10-21
\| \| \| \|	some brittleness
*	Enabled 'SnapshotableTrees.dfy' in the test suite.	wuestholz	2014-09-24
\|
*	Made the snapshotable trees test "unsupported" instead of "unresolved".	wuestholz	2014-06-05
\|
*	Dafny tests: Disabled SnapshotableTrees.dfy for now while performance issues ↵	Rustan Leino	2011-12-07
\| \| \| \|	are being investigated
*	Dafny: Commented out SnapshotableTrees.Node.FunctionalInsert while ↵	Rustan Leino	2011-10-26
\| \| \| \|	performance issues with the prover and going into SMTLib2 mode are being investigated.
*	Dafny: Updated snapshotable tree to remove IsReadonly precondition for ↵	Rustan Leino	2011-09-30
\| \| \| \|	CreateIterator.
*	Dafny: added Snapshotable Trees example	Rustan Leino	2011-09-11