debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	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
\| \| \| \|	Removed three redundant multiset axioms.
*	Beefed up axioms about cardinality and the empty (multi)set, which fixes ↵	Rustan Leino	2013-06-20
\| \| \| \| \| \|	Issue 17 on dafny.codeplex.com. Added information that allows multiset members to be unboxed as needed (mimicking what was already done for sets).
*	Fixed some omitted cases in Substitute (and added "assume false" to catch ↵	Rustan Leino	2013-05-21
\| \| \| \|	any other, later)
*	Moved resolution of BinaryExpr.ResolveOp until the CheckTypeInference phase, ↵	Rustan Leino	2013-04-01
\| \| \| \| \| \| \|	where more type information is known Refactored ConcreteUpdateStatement to no longer inherit from ConcreteSyntaxStatement. Fixed numerous places where some recursive checks did not reach.
*	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 ↵	Rustan Leino	2011-05-30
\| \| \| \|	compilation yet)
*	Dafny:	Rustan Leino	2011-05-27
\| \| \| \| \|	* fixed bug in allowing ghost out-parameters of ghost methods * added test case for verifying calls of the form MyClass.M(...)
*	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
	soon, methods), and test cases for new name resolution rules