debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	DafnyExtension: Add menu item for automatic induction (mainly developed by Ru...	wuestholz	2015-10-26
*	DafnyExtension: Added experimental support for diagnosing timeouts.	wuestholz	2015-05-18
*	DafnyExtension: Fixed minor issue in the menu.	wuestholz	2014-10-19
*	DafnyExtension: Made it possible to activate the more advanced verification r...	wuestholz	2014-06-23
*	DafnyExtension: Made it display the compilation output in the VS output pane.	wuestholz	2014-04-21
*	DafnyExtension: Made it display if a variable was updated in a given model st...	wuestholz	2013-08-01
*	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 t...	wuestholz	2013-07-30
*	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: 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: 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., c...	wuestholz	2013-05-23