debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Suppress many warnings in the test suite.	Clément Pit--Claudel	2015-08-28
\| \| \| \| \|	We already have separate tests for those, and we want the output to be the same with and without /autoTriggers.
*	Improved AnalyzeList encoding in a way that performs way better.	Rustan Leino	2014-07-09
\| \| \| \|	Cleaned up file to use some improved Dafny constructs.
*	New logical encoding of types with Is and IsAlloc	Dan Rosén	2014-07-07
\|
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
\|
*	Change a test program to verify faster (by a factor of 10-25).	wuestholz	2013-12-10
\|
*	Dafny: fixed performance-buggy translation of exists, and also added some ↵	Rustan Leino	2011-10-19
\| \| \| \|	other features in SplitExpr (such as induction on existential quantifiers)
*	Dafny: added COST Verification Competition challenge programs to test suite	Rustan Leino	2011-10-07