debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Removed old keyword "choose"	Rustan Leino	2013-08-06
\|
*	Bumped version to 1.7.0, to be released as a binary and on rise4fun.	wuestholz	2013-08-06
\|
*	Updated 'PrepareDafnyZip.bat'.	wuestholz	2013-08-05
\|
*	DafnyExtension: Use the same version number as Dafny (unfortunately needs to ↵	wuestholz	2013-08-05
\| \| \| \|	be updated separately in the vsixmanifests).
*	DafnyExtension: Fixed issue with visual elements being accessed by ↵	wuestholz	2013-08-04
\| \| \| \|	non-owning thread.
*	DafnyExtension: Did some refactoring and added a description to error states.	wuestholz	2013-08-03
\|
*	Introduced keywords "lemma" (like a "ghost method", but not allowed to have ↵	Rustan Leino	2013-08-02
\| \| \| \|	a "modifies" clause) and "colemma" (synonymous with "comethod"; perhaps "comethod" will go away at some point)
*	DafnyExtension: Fixed a minor issue in the error selection.	wuestholz	2013-08-01
\|
*	DafnyExtension: Fixed a minor issue in the error selection.	wuestholz	2013-08-01
\|
*	DafnyExtension: Made it select the last error state by default when an error ↵	wuestholz	2013-08-01
\| \| \| \|	is selected.
*	DafnyExtension: Made it display if a variable was updated in a given model ↵	wuestholz	2013-08-01
\| \| \| \|	state.
*	DafnyExtension: Added support for displaying values from the model as hover ↵	wuestholz	2013-07-30
\| \| \| \|	text.
*	DafnyExtension: Make it possible to enable and disable BVD.	wuestholz	2013-07-28
\|
*	DafnyExtension: Avoid allocating too much space for the error model adornments.	wuestholz	2013-07-28
\|
*	DafnyExtension: Update the error model when a new error state is selected.	wuestholz	2013-07-28
\|
*	DafnyExtension: Did some refactoring to integrate the Dafny menu more tightly.	wuestholz	2013-07-28
\|
*	DafnyExtension: Did some refactoring and worked towards integrating the ↵	wuestholz	2013-07-26
\| \| \| \|	Dafny menu more tightly.
*	DafnyExtension: minor fix	wuestholz	2013-07-23
\|
*	Fixed build failures due to changes in Boogie.	wuestholz	2013-07-22
\|
*	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: Added support for collecting additional information during ↵	wuestholz	2013-07-15
\| \| \| \|	resolution and displaying it.
*	DafnyExtension: Made the 'ProgressTagger' use tasks instead of threads for ↵	wuestholz	2013-07-15
\| \| \| \|	invoking the verifier.
*	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 ↵	wuestholz	2013-07-09
\| \| \| \|	(incl. request cancellation).
*	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
\|