debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Split snapshot tests into separate files and add support for %S in runTests.py	Clément Pit--Claudel	2015-07-20
\|
*	Made it use the '/traceCaching' flag for the 'snapshots' tests.	wuestholz	2014-10-18
\|
*	Added more tests.	wuestholz	2014-07-15
\|
*	Added a test.	wuestholz	2014-07-13
\|
*	Added more tests for the more advanced verification result caching.	wuestholz	2014-07-10
\|
*	Worked on the more advanced verification result caching.	wuestholz	2014-07-09
\|
*	Changed "dummy" checksums to "stable" and added more tests for the ↵	wuestholz	2014-07-03
\| \| \| \|	verification result caching.
*	Added support for verifying Dafny program snapshots from the command-line.	wuestholz	2014-07-01