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: Make it possible to enable and disable BVD.	wuestholz	2013-07-28
\|
*	DafnyExtension: Worked on integrating BVD.	wuestholz	2013-07-14
\|
*	DafnyExtension: Added a menu item to toggle verification result caching.	wuestholz	2013-06-12
\|
*	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).