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
*	Type parameters in method/function signatures are no longer auto-declared. A...	Rustan Leino	2015-07-02
*	Assume type properties of values that are created by a havoc assignment. Such...	Rustan Leino	2015-01-27
*	Allow underscores in numeric literals (and in field/destructor names that are...	leino	2014-10-23
*	Changed variable names in test case	leino	2014-10-13
*	Some more test cases for associativity and short-circuitness of <==	leino	2014-10-13
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
*	Pass assert/assume attributes down to Boogie	Rustan Leino	2013-12-16
*	Add support for hexidecimal numbers.	parno	2013-07-30
*	Axioms that relate (multi)set cardinality with (multi)set difference.	Rustan Leino	2013-07-16
*	Beefed up axioms about cardinality and the empty (multi)set, which fixes Issu...	Rustan Leino	2013-06-20
*	Fixed some omitted cases in Substitute (and added "assume false" to catch any...	Rustan Leino	2013-05-21
*	Moved resolution of BinaryExpr.ResolveOp until the CheckTypeInference phase, ...	Rustan Leino	2013-04-01
*	Added a test case for <==.	Nadia Polikarpova	2013-03-14
*	Merge	Jason Koenig	2012-06-13
\|\
* \|	Dafny: allow parallel assignments to assign to the same LHS if the RHS match.	Jason Koenig	2012-06-13
\|/
*	Dafny: Added Euclidean regression test (Verifier only).	Jason Koenig	2011-07-08
*	Dafny: translate call statements with fancy LHSs	Rustan Leino	2011-05-31
*	Dafny: Translate general LHSs for var and := (not yet for call, no compilatio...	Rustan Leino	2011-05-30
*	Dafny:	Rustan Leino	2011-05-27
*	Dafny: added chaining operators	Rustan Leino	2011-05-27
*	Dafny: retired the "call" keyword	Rustan Leino	2011-05-26
*	Dafny: allow class names to be used when referring to static functions (and, ...	Rustan Leino	2011-05-21