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).
*	DafnyExtension: Added experimental support for diagnosing timeouts.	wuestholz	2015-05-18
\|
*	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
\|
*	DafnyExtension: Did some refactoring and added a description to error states.	wuestholz	2013-08-03
\|
*	DafnyExtension: Make it possible to enable and disable BVD.	wuestholz	2013-07-28
\|
*	DafnyExtension: Did some refactoring to integrate the Dafny menu more tightly.	wuestholz	2013-07-28