debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Fixed test output after refactoring in Boogie.	wuestholz	2014-11-03
\|
*	Fixed test output after refactoring in Boogie.	wuestholz	2014-11-02
\|
*	Minor change	wuestholz	2014-10-19
\|
*	Minor change	wuestholz	2014-10-18
\|
*	Made it use the '/traceCaching' flag for the 'snapshots' tests.	wuestholz	2014-10-18
\|
*	Re-included lost calls to CheckEqualityTypes_Type	leino	2014-08-13
\| \| \| \|	Modified syntax in some tests, since predicates now require parentheses (without parentheses refers to a predicate, not an application of the predicate)
*	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