summaryrefslogtreecommitdiff
path: root/Source/DafnyMenu/DafnyMenuPackage.cs
Commit message (Expand)AuthorAge
* DafnyExtension: Made it display if a variable was updated in a given model st...Gravatar wuestholz2013-08-01
* DafnyExtension: Made it display all variable values from the model.Gravatar wuestholz2013-08-01
* DafnyExtension: Increased the font size for the BVD tool window.Gravatar wuestholz2013-07-31
* DafnyExtension: Added support for displaying values from the model as hover t...Gravatar wuestholz2013-07-30
* DafnyExtension: Make it possible to enable and disable BVD.Gravatar wuestholz2013-07-28
* DafnyExtension: Hide the state list and the menu strip in BVD.Gravatar wuestholz2013-07-28
* DafnyExtension: Did some refactoring to integrate the Dafny menu more tightly.Gravatar wuestholz2013-07-28
* DafnyExtension: Worked on improving the error selection and visualization.Gravatar wuestholz2013-07-21
* 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: Did some refactoring.Gravatar wuestholz2013-06-11
* DafnyExtension: minor changesGravatar wuestholz2013-05-27
* 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-11-30 10:50:47 +0000