debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
\|
*	Fixed pretty printing of calc statements to use the new(-since-long) format.	Rustan Leino	2013-12-17
\| \| \| \| \|	Disallow dangling operator in calc (which had also allowed soundness bug). Don't reprove the test files in dafny0 after testing their pretty printing.
*	Allowing dangling hints in calculations.	Nadia Polikarpova	2013-07-31
\|
*	Added explies support to calculations.	Nadia Polikarpova	2013-03-15
\|
*	New well-formedness checks for calculations (no cascading).	Nadia Polikarpova	2013-03-05
\|
*	Added tests: parallel calc, better well-formedness checks, calc expression.	Nadia Polikarpova	2013-02-15
\|
*	Changed calc syntax (custom operators are now written before the hint)	Nadia Polikarpova	2013-02-08
\|
*	Bugfix in the translation of calc statements (oops), added more resolution ↵	Nadia Polikarpova	2012-09-21
	and verification tests