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
*	DafnyExtension: Fixed flickering of errors in the error list.	wuestholz	2013-07-10
*	DafnyExtension: Integrated support for multiple Z3 instances in Boogie (incl....	wuestholz	2013-07-09
*	DafnyExtension: Enabled verification result caching by default.	wuestholz	2013-07-02
*	DafnyExtension: Fixed a memory leak.	wuestholz	2013-06-24
*	Did some refactoring of the error reporting functionality.	wuestholz	2013-06-24
*	DafnyExtension: Use tracking spans instead of regular spans.	wuestholz	2013-06-21
*	DafnyExtension: Made it display verification errors incrementally.	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-19
*	Did some refactoring of the error reporting functionality.	wuestholz	2013-06-18
*	Did some refactoring of the error reporting functionality.	wuestholz	2013-06-18
*	DafnyExtension: Fixed an issue in the verification result caching.	wuestholz	2013-06-17
*	DafnyExtension: Disabled the default console printer for Boogie.	wuestholz	2013-06-13
*	DafnyExtension: Added a menu item to toggle verification result caching.	wuestholz	2013-06-12
*	DafnyExtension: Added a todo.	wuestholz	2013-06-12
*	DafnyExtension: Worked on integrating the verification result caching.	wuestholz	2013-06-11
*	DafnyExtension: Did some refactoring.	wuestholz	2013-06-11
*	DafnyExtension: Did some refactoring.	wuestholz	2013-06-11
*	DafnyExtension: Worked on integrating the verification result caching.	wuestholz	2013-06-10
*	DafnyExtension: Did some refactoring.	wuestholz	2013-06-10
*	DafnyExtension: Improved the way errors (incl. locations) are kept up-to-date.	wuestholz	2013-06-10
*	DafnyExtension: Worked on integrating the verification result caching.	wuestholz	2013-06-07
*	DafnyExtension: Fixed an issue (InvalidOperationException).	wuestholz	2013-06-07
*	DafnyExtension: Cleaned up some references and disabled non-functional suppor...	wuestholz	2013-06-07
*	DafnyExtension: Worked on integrating the verification result caching.	wuestholz	2013-06-06
*	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
*	Minor change to a project file	wuestholz	2013-05-30
*	Minor change to a project file	wuestholz	2013-05-30
*	Minor change to a project file	wuestholz	2013-05-30
*	Changed the Dafny driver to report traces for time outs and out of memory.	wuestholz	2013-05-30
*	DafnyExtension: minor changes	wuestholz	2013-05-27
*	DafnyExtension: Fixed an issue (error list wasn't cleared after closing buffe...	wuestholz	2013-05-27
*	DafnyExtension: Added a button to the menu for stopping/starting the verifier.	wuestholz	2013-05-26
*	DafnyExtension: Added menu for invoking specific Dafny functionality (e.g., c...	wuestholz	2013-05-23
*	Updated several project files.	wuestholz	2013-05-21
*	In Visual Studio interface, highlight variable definitions of let expressions	Rustan Leino	2013-05-12
*	Deleted a non-keyword	Rustan Leino	2013-04-04
*	Renamed "parallel" statement to "forall" statement, and made the parentheses ...	Rustan Leino	2013-03-06
*	Support for copredicates and prefix predicates in comethods.	Rustan Leino	2012-12-04