index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
DafnyExtension
/
DafnyExtension.csproj
Commit message (
Expand
)
Author
Age
*
DafnyExtension: Re-added assembly reference.
wuestholz
2015-10-08
*
Make the Dafny extension compile on VS 2015 without any old versions.
wuestholz
2015-10-08
*
Copy z3.exe and Z3-LICENSE.txt (from Binaries directory to Source/DafnyExtens...
leino
2015-04-06
*
Add z3.exe and z3-license.txt to dafny binary and extension distribution.
qunyanm
2015-04-06
*
Remove unneeded reference from DafnyExtension.csproj (accidentally added by m...
chrishaw
2015-03-11
*
Add DafnyOptions.txt, and have the Dafny Visual Studio extension read command...
chrishaw
2015-03-11
*
Build VS Extension for both VS 2012 and VS 2013.
Rustan Leino
2014-07-08
*
Fix some things due to changes in Boogie (execution engine API, 'UnivBackPred...
wuestholz
2013-12-09
*
Fixed build failures due to changes in Boogie.
wuestholz
2013-11-23
*
Updated 'PrepareDafnyZip.bat'.
wuestholz
2013-08-05
*
DafnyExtension: Use the same version number as Dafny (unfortunately needs to ...
wuestholz
2013-08-05
*
DafnyExtension: Did some refactoring to integrate the Dafny menu more tightly.
wuestholz
2013-07-28
*
DafnyExtension: Did some refactoring and worked towards integrating the Dafny...
wuestholz
2013-07-26
*
DafnyExtension: Worked on improving the error selection and visualization.
wuestholz
2013-07-21
*
DafnyExtension: Added support for selecting errors and showing the model in BVD.
wuestholz
2013-07-15
*
DafnyExtension: Did some refactoring.
wuestholz
2013-06-11
*
DafnyExtension: Cleaned up some references and disabled non-functional suppor...
wuestholz
2013-06-07
*
Did some refactoring of the Dafny drivers.
wuestholz
2013-06-04
*
Did some refactoring of the Dafny drivers.
wuestholz
2013-06-03
*
Did some refactoring of the Dafny drivers.
wuestholz
2013-06-03
*
Minor change to a project file
wuestholz
2013-05-30
*
Minor change to a project file
wuestholz
2013-05-30
*
Minor change to a project file
wuestholz
2013-05-30
*
DafnyExtension: minor changes
wuestholz
2013-05-27
*
DafnyExtension: Added a button to the menu for stopping/starting the verifier.
wuestholz
2013-05-26
*
DafnyExtension: Added menu for invoking specific Dafny functionality (e.g., c...
wuestholz
2013-05-23
*
Updated several project files.
wuestholz
2013-05-21
*
Merge
Unknown
2012-10-30
|
\
*
|
Include BVD in build (to copy it into the Dafny\Binaries directory)
Unknown
2012-10-30
|
*
Rename _reverifyPost to $_reverifyPost, so that it doesn't show up in BVD
Rustan Leino
2012-10-30
|
/
*
Added Dafny.exe to the DafnyExtension. This way, a copy of the executable wil...
Rustan Leino
2012-10-22
*
Updated HintPath's of DLL's in the building of DafnyExtension
Rustan Leino
2012-10-17
*
Updates of various .sln and .*proj files
Rustan Leino
2012-10-04
*
Put all sources under \Source directory
Rustan Leino
2012-10-04