debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	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.
*	Merge	Dan Rosén	2014-07-07
\|\
* \|	New logical encoding of types with Is and IsAlloc	Dan Rosén	2014-07-07
\| \|
\| *	Added some axioms about seq-to-multiset conversions	Rustan Leino	2014-06-24
\|/
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
\|
*	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).
*	Added multiset update.	Nadia Polikarpova	2013-03-20
\|
*	Added some axioms to try to recover boxed data. In particular, any element ↵	Unknown	2012-10-17
\| \| \| \|	'x' of a set in the encoding satisfies Box(Unbox(x))==x. The soundness and performance of the axiomatization are dicey, so the axioms are made available only to method in-parameters.
*	Dafny: fixed regression tests	Unknown	2012-05-29
\|
*	Fixed regression test failures due to removal of bodiless methods and functions.	Jason Koenig	2011-07-15