debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Split snapshot tests into separate files and add support for %S in runTests.py	Clément Pit--Claudel	2015-07-20
*	Updated test output after change in Boogie.	wuestholz	2015-05-17
*	This changeset changes the default visibility of a function/predicate body ou...	leino	2015-03-09
*	Did some refactoring to improve the name generation.	wuestholz	2015-01-27
*	Did some refactoring to improve the name generation.	wuestholz	2015-01-27
*	Updated test output after change in Boogie.	wuestholz	2015-01-24
*	Merge	leino	2015-01-03
\|\
\| *	Updated test output after change in Boogie.	wuestholz	2014-12-28
* \|	Language change: All functions and methods declared lexically outside any cla...	leino	2014-12-12
\|/
*	Fixed two crashes in resolver	leino	2014-12-10
*	Merge	leino	2014-12-09
\|\
* \|	Snapshot, to be continued	leino	2014-12-02
\| *	Updated test output after change in Boogie.	wuestholz	2014-11-25
\|/
*	Updated test output after change in Boogie.	wuestholz	2014-11-16
*	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
*	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 verificati...	wuestholz	2014-07-03
*	Added support for verifying Dafny program snapshots from the command-line.	wuestholz	2014-07-01