summaryrefslogtreecommitdiff
path: root/Source/DafnyMenu/DafnyMenu.vsct
Commit message (Expand)AuthorAge
* DafnyExtension: Add menu item for automatic induction (mainly developed by Ru...Gravatar wuestholz2015-10-26
* DafnyExtension: Added experimental support for diagnosing timeouts.Gravatar wuestholz2015-05-18
* DafnyExtension: Made it use the more advanced on-demand re-verification by de...Gravatar wuestholz2015-01-26
* DafnyExtension: Made it possible to activate the more advanced verification r...Gravatar wuestholz2014-06-23
* DafnyExtension: Make it possible to enable and disable BVD.Gravatar wuestholz2013-07-28
* DafnyExtension: Added support for selecting errors and showing the model in BVD.Gravatar wuestholz2013-07-15
* DafnyExtension: Worked on integrating BVD.Gravatar wuestholz2013-07-14
* DafnyExtension: Enabled verification result caching by default.Gravatar wuestholz2013-07-02
* DafnyExtension: Added a menu item to toggle verification result caching.Gravatar wuestholz2013-06-12
* DafnyExtension: Added a button to the menu for stopping/starting the verifier.Gravatar wuestholz2013-05-26
* DafnyExtension: Added menu for invoking specific Dafny functionality (e.g., c...Gravatar wuestholz2013-05-23
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-13 21:33:30 +0000