debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Suppress many warnings in the test suite.	Clément Pit--Claudel	2015-08-28
\| \| \| \| \|	We already have separate tests for those, and we want the output to be the same with and without /autoTriggers.
*	Enable autoTriggers in LitTriggers and SeqFromArray	Clément Pit--Claudel	2015-07-17
\|
*	Removed unneeded :heapQuantifier from test case (rendinging this attribute ↵	leino	2015-06-25
\| \| \| \|	currently unused in the test suite)
*	Minor change to a test case	wuestholz	2015-01-27
\|
*	Improved power of axioms Seq#FromArray	leino	2014-10-31