summaryrefslogtreecommitdiff
path: root/Source/DafnyMenu/DafnyMenu.csproj
Commit message (Expand)AuthorAge
* Build VS Extension for both VS 2012 and VS 2013.Gravatar Rustan Leino2014-07-08
* DafnyExtension: Use the same version number as Dafny (unfortunately needs to ...Gravatar wuestholz2013-08-05
* DafnyExtension: Increased the font size for the BVD tool window.Gravatar wuestholz2013-07-31
* 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 Dafny...Gravatar wuestholz2013-07-26
* DafnyExtension: Worked on integrating BVD.Gravatar wuestholz2013-07-14
* DafnyExtension: Cleaned up some references and disabled non-functional suppor...Gravatar wuestholz2013-06-07
* 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