summaryrefslogtreecommitdiff
path: root/Source/DafnyExtension/source.extension.vsixmanifest
Commit message (Expand)AuthorAge
* Fix some VS IDE performance issues.Gravatar qunyanm2016-01-06
* Make the Dafny extension compile on VS 2015 without any old versions.Gravatar wuestholz2015-10-08
* Changed version to 1.9.3.20406 and updated copyright year to include 2015.Gravatar leino2015-04-06
* Add z3.exe and z3-license.txt to dafny binary and extension distribution.Gravatar qunyanm2015-04-06
* DafnyExtension: Worked on adding support for Visual Studio 2013.Gravatar wuestholz2014-07-02
* 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
* DafnyExtension: Did some refactoring to integrate the Dafny menu more tightly.Gravatar wuestholz2013-07-28
* DafnyExtension: Did some refactoring and worked towards integrating the Dafny...Gravatar wuestholz2013-07-26
* DafnyExtension: Cleaned up some references and disabled non-functional suppor...Gravatar wuestholz2013-06-07
* DafnyExtension: Added menu for invoking specific Dafny functionality (e.g., c...Gravatar wuestholz2013-05-23
* Put all sources under \Source directoryGravatar Rustan Leino2012-10-04
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-13 23:12:38 +0000