summaryrefslogtreecommitdiff
path: root/Source/DafnyMenu
Commit message (Collapse)AuthorAge
* DafnyExtension: Made it use the more advanced on-demand re-verification by ↵Gravatar wuestholz2015-01-26
| | | | default.
* DafnyExtension: Fixed minor issue in the menu.Gravatar wuestholz2014-10-19
|
* Build VS Extension for both VS 2012 and VS 2013.Gravatar Rustan Leino2014-07-08
| | | | Currently builds only in VS 2012. To build in VS 2013, change MinimumVisualStudioVersion from 11.0 to 12.0 in these two .csproj files.
* DafnyExtension: Worked on adding support for Visual Studio 2013.Gravatar wuestholz2014-07-02
|
* DafnyExtension: Made it possible to activate the more advanced verification ↵Gravatar wuestholz2014-06-23
| | | | result caching in Boogie (experimental for now).
* DafnyExtension: Made it display the compilation output in the VS output pane.Gravatar wuestholz2014-04-21
|
* Version 1.8.0.10115 release candidateGravatar Rustan Leino2014-01-15
|
* Bumped version to 1.7.0, to be released as a binary and on rise4fun.Gravatar wuestholz2013-08-06
|
* DafnyExtension: Use the same version number as Dafny (unfortunately needs to ↵Gravatar wuestholz2013-08-05
| | | | be updated separately in the vsixmanifests).
* DafnyExtension: Made it display if a variable was updated in a given model ↵Gravatar wuestholz2013-08-01
| | | | state.
* 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 ↵Gravatar wuestholz2013-07-30
| | | | text.
* 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: minor changeGravatar wuestholz2013-07-26
|
* DafnyExtension: Did some refactoring and worked towards integrating the ↵Gravatar wuestholz2013-07-26
| | | | Dafny menu more tightly.
* 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: Cleaned up some references and disabled non-functional ↵Gravatar wuestholz2013-06-07
| | | | support for VS 2010.
* 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., ↵Gravatar wuestholz2013-05-23
compilation).