summaryrefslogtreecommitdiff
path: root/Source/DafnyExtension/DafnyExtension.csproj
Commit message (Expand)AuthorAge
* DafnyExtension: Re-added assembly reference.Gravatar wuestholz2015-10-08
* Make the Dafny extension compile on VS 2015 without any old versions.Gravatar wuestholz2015-10-08
* Copy z3.exe and Z3-LICENSE.txt (from Binaries directory to Source/DafnyExtens...Gravatar leino2015-04-06
* Add z3.exe and z3-license.txt to dafny binary and extension distribution.Gravatar qunyanm2015-04-06
* Remove unneeded reference from DafnyExtension.csproj (accidentally added by m...Gravatar chrishaw2015-03-11
* Add DafnyOptions.txt, and have the Dafny Visual Studio extension read command...Gravatar chrishaw2015-03-11
* Build VS Extension for both VS 2012 and VS 2013.Gravatar Rustan Leino2014-07-08
* Fix some things due to changes in Boogie (execution engine API, 'UnivBackPred...Gravatar wuestholz2013-12-09
* Fixed build failures due to changes in Boogie.Gravatar wuestholz2013-11-23
* Updated 'PrepareDafnyZip.bat'.Gravatar wuestholz2013-08-05
* 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: 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: Did some refactoring.Gravatar wuestholz2013-06-11
* DafnyExtension: Cleaned up some references and disabled non-functional suppor...Gravatar wuestholz2013-06-07
* Did some refactoring of the Dafny drivers.Gravatar wuestholz2013-06-04
* Did some refactoring of the Dafny drivers.Gravatar wuestholz2013-06-03
* Did some refactoring of the Dafny drivers.Gravatar wuestholz2013-06-03
* Minor change to a project fileGravatar wuestholz2013-05-30
* Minor change to a project fileGravatar wuestholz2013-05-30
* Minor change to a project fileGravatar wuestholz2013-05-30
* 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
* Updated several project files.Gravatar wuestholz2013-05-21
* MergeGravatar Unknown2012-10-30
|\
* | Include BVD in build (to copy it into the Dafny\Binaries directory)Gravatar Unknown2012-10-30
| * Rename _reverifyPost to $_reverifyPost, so that it doesn't show up in BVDGravatar Rustan Leino2012-10-30
|/
* Added Dafny.exe to the DafnyExtension. This way, a copy of the executable wil...Gravatar Rustan Leino2012-10-22
* Updated HintPath's of DLL's in the building of DafnyExtensionGravatar Rustan Leino2012-10-17
* Updates of various .sln and .*proj filesGravatar Rustan Leino2012-10-04
* Put all sources under \Source directoryGravatar Rustan Leino2012-10-04
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-15 10:42:02 +0000