debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	DafnyExtension: Add menu item for automatic induction (mainly developed by ↵	wuestholz	2015-10-26
\| \| \| \|	Rustan).
*	Make the Dafny extension compile on VS 2015 without any old versions.	wuestholz	2015-10-08
\|
*	DafnyExtension: Added experimental support for diagnosing timeouts.	wuestholz	2015-05-18
\|
*	DafnyExtension: Made it use the more advanced on-demand re-verification by ↵	wuestholz	2015-01-26
\| \| \| \|	default.
*	DafnyExtension: Fixed minor issue in the menu.	wuestholz	2014-10-19
\|
*	Build VS Extension for both VS 2012 and VS 2013.	Rustan Leino	2014-07-08
\| \| \| \|	Currently builds only in VS 2012. To build in VS 2013, change MinimumVisualStudioVersion from 11.0 to 12.0 in these two .csproj files.
*	DafnyExtension: Worked on adding support for Visual Studio 2013.	wuestholz	2014-07-02
\|
*	DafnyExtension: Made it possible to activate the more advanced verification ↵	wuestholz	2014-06-23
\| \| \| \|	result caching in Boogie (experimental for now).
*	DafnyExtension: Made it display the compilation output in the VS output pane.	wuestholz	2014-04-21
\|
*	Version 1.8.0.10115 release candidate	Rustan Leino	2014-01-15
\|
*	Bumped version to 1.7.0, to be released as a binary and on rise4fun.	wuestholz	2013-08-06
\|
*	DafnyExtension: Use the same version number as Dafny (unfortunately needs to ↵	wuestholz	2013-08-05
\| \| \| \|	be updated separately in the vsixmanifests).
*	DafnyExtension: Made it display if a variable was updated in a given model ↵	wuestholz	2013-08-01
\| \| \| \|	state.
*	DafnyExtension: Made it display all variable values from the model.	wuestholz	2013-08-01
\|
*	DafnyExtension: Increased the font size for the BVD tool window.	wuestholz	2013-07-31
\|
*	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: Hide the state list and the menu strip in BVD.	wuestholz	2013-07-28
\|
*	DafnyExtension: Did some refactoring to integrate the Dafny menu more tightly.	wuestholz	2013-07-28
\|
*	DafnyExtension: minor change	wuestholz	2013-07-26
\|
*	DafnyExtension: Did some refactoring and worked towards integrating the ↵	wuestholz	2013-07-26
\| \| \| \|	Dafny menu more tightly.
*	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: Worked on integrating BVD.	wuestholz	2013-07-14
\|
*	DafnyExtension: Enabled verification result caching by default.	wuestholz	2013-07-02
\|
*	DafnyExtension: Added a menu item to toggle verification result caching.	wuestholz	2013-06-12
\|
*	DafnyExtension: Did some refactoring.	wuestholz	2013-06-11
\|
*	DafnyExtension: Cleaned up some references and disabled non-functional ↵	wuestholz	2013-06-07
\| \| \| \|	support for VS 2010.
*	DafnyExtension: minor changes	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., ↵	wuestholz	2013-05-23
	compilation).