debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Add DafnyOptions.txt, and have the Dafny Visual Studio extension read command...	chrishaw	2015-03-11
*	DafnyExtension: Made it use the more advanced on-demand re-verification by de...	wuestholz	2015-01-26
*	Ensure that no file is processed twice, even if one command-line file is incl...	Bryan Parno	2014-10-27
*	DafnyExtension: Fixed minor issue in the menu.	wuestholz	2014-10-19
*	Did more refactoring.	wuestholz	2014-09-23
*	DafnyExtension: minor change	wuestholz	2014-09-22
*	Worked on the more advanced verification result caching.	wuestholz	2014-07-09
*	Merge	Dan Rosén	2014-07-07
\|\
\| *	Minor change due to change in Boogie	wuestholz	2014-06-28
\| *	DafnyExtension: Made it possible to activate the more advanced verification r...	wuestholz	2014-06-23
* \|	DafnyExtension: Minor change to deal with a change in the Boogie command-line...	wuestholz	2014-06-20
\| *	DafnyExtension: Minor change to deal with a change in the Boogie command-line...	wuestholz	2014-06-20
* \|	Fixed issues with absolute file names in the expected output for the lit tests.	wuestholz	2014-06-04
\| *	Fixed issues with absolute file names in the expected output for the lit tests.	wuestholz	2014-06-04
\|/
*	DafnyExtension: Made it display the compilation output in the VS output pane.	wuestholz	2014-04-21
*	DafnyExtension: Reduce the default number of Z3 instances by one.	wuestholz	2013-12-26
*	Add support for the "include" keyword, which accepts a (possibly relative) path	Bryan Parno	2013-12-10
*	Fix some things due to changes in Boogie (execution engine API, 'UnivBackPred...	wuestholz	2013-12-09
*	DafnyExtension: Did some refactoring to integrate the Dafny menu more tightly.	wuestholz	2013-07-28
*	DafnyExtension: Added support for collecting additional information during re...	wuestholz	2013-07-15
*	DafnyExtension: Enabled model extraction for verification failures.	wuestholz	2013-07-12
*	Did some refactoring of the interaction with the Boogie execution engine.	wuestholz	2013-07-10
*	DafnyExtension: Integrated support for multiple Z3 instances in Boogie (incl....	wuestholz	2013-07-09
*	Did some refactoring of the error reporting functionality.	wuestholz	2013-06-24
*	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: Did some refactoring.	wuestholz	2013-06-11
*	DafnyExtension: Did some refactoring.	wuestholz	2013-06-11
*	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: 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
*	Changed the Dafny driver to report traces for time outs and out of memory.	wuestholz	2013-05-30