debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	DafnyExtension: Added experimental support for diagnosing timeouts.	wuestholz	2015-05-18
*	Merge	leino	2014-09-29
\|\
* \|	Shorter wait-for-idle time in the Dafny IDE	leino	2014-09-29
\| *	DafnyExtension: Made it not log the pretty-printed program.	wuestholz	2014-09-28
\| *	DafnyExtension: minor change	wuestholz	2014-09-22
\|/
*	Worked on the more advanced verification result caching.	wuestholz	2014-07-10
*	Worked on the more advanced verification result caching.	wuestholz	2014-07-09
*	Fixed issues with absolute file names in the expected output for the lit tests.	wuestholz	2014-06-04
*	DafnyExtension: Added some support for logging program snapshots that are sen...	wuestholz	2014-04-21
*	DafnyExtension: Fixed a concurrency issue.	wuestholz	2014-04-03
*	Add support for the "include" keyword, which accepts a (possibly relative) path	Bryan Parno	2013-12-10
*	DafnyExtension: Did some refactoring to integrate the Dafny menu more tightly.	wuestholz	2013-07-28
*	DafnyExtension: Worked on improving the error selection and visualization.	wuestholz	2013-07-21
*	DafnyExtension: Added support for selecting errors and showing the model in BVD.	wuestholz	2013-07-15
*	DafnyExtension: Made the 'ProgressTagger' use tasks instead of threads for in...	wuestholz	2013-07-15
*	DafnyExtension: Worked on integrating BVD.	wuestholz	2013-07-14
*	DafnyExtension: Enabled model extraction for verification failures.	wuestholz	2013-07-12
*	DafnyExtension: Fixed an error list issue.	wuestholz	2013-07-12
*	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
*	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-18
*	DafnyExtension: Fixed an issue in the verification result caching.	wuestholz	2013-06-17
*	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: Worked on integrating the verification result caching.	wuestholz	2013-06-06
*	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
*	Put all sources under \Source directory	Rustan Leino	2012-10-04