debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Did some refactoring of the interaction with the Boogie execution engine.	wuestholz	2013-07-10
*	Did some refactoring of the error reporting functionality.	wuestholz	2013-06-24
*	Fixed a contract.	wuestholz	2013-06-20
*	Did some refactoring of the error reporting functionality.	wuestholz	2013-06-19
*	Did some refactoring of the error reporting functionality.	wuestholz	2013-06-19
*	Did some refactoring of the error reporting functionality.	wuestholz	2013-06-18
*	Did some refactoring of the Dafny drivers.	wuestholz	2013-06-04
*	Did some refactoring of the Dafny drivers.	wuestholz	2013-06-04
*	Did some refactoring of the Dafny drivers.	wuestholz	2013-06-03
*	Did some refactoring of the Dafny drivers.	wuestholz	2013-06-03
*	Did some refactoring of the Dafny drivers.	wuestholz	2013-06-03
*	Did some refactoring of the Dafny drivers.	wuestholz	2013-06-03
*	Did some refactoring of the Dafny drivers.	wuestholz	2013-06-03
*	Did some refactoring of the Dafny drivers.	wuestholz	2013-06-03
*	Did some refactoring of the Dafny drivers.	wuestholz	2013-06-03
*	Did some refactoring of the Dafny drivers.	wuestholz	2013-06-03
*	Did some refactoring of the Dafny drivers.	wuestholz	2013-06-03
*	Did some refactoring of the Dafny drivers.	wuestholz	2013-06-03
*	Did some refactoring of the Dafny drivers.	wuestholz	2013-06-03
*	Changed the Dafny driver to report traces for time outs and out of memory.	wuestholz	2013-05-30
*	DafnyExtension: Added menu for invoking specific Dafny functionality (e.g., c...	wuestholz	2013-05-23
*	Suppress compiler warnings about unreferenced labels (I hope all .NET platfor...	Rustan Leino	2013-03-26
*	Added Equals method on Type	Rustan Leino	2013-02-20
*	Pass Boogie's new SoundLoopUnrolling parameter	Rustan Leino	2012-10-18
*	Put all sources under \Source directory	Rustan Leino	2012-10-04