debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Make /autoTriggers:1 to be default. Add /autoTriggers:0 to tests that requires	qunyanm	2016-03-28
\| \| \| \| \|	it. Don't use pretty warning signs since we can't diff them correctly in the test output from the test run.
*	Fix lit headers implicitly relying on bash-style constructs	Clément Pit--Claudel	2015-06-08
\| \| \| \| \|	Window's batch doesn't recognize ";" as a command separator; lit has a workaround for that, bu it's just as simple to do the right thing on our side.
*	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