index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
DafnyDriver
/
DafnyDriver.csproj
Commit message (
Expand
)
Author
Age
*
Minor change due to change in Boogie
wuestholz
2014-06-28
*
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
*
DafnyExtension: Did some refactoring and worked towards integrating the Dafny...
wuestholz
2013-07-26
*
DafnyExtension: Cleaned up some references and disabled non-functional suppor...
wuestholz
2013-06-07
*
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-21
*
Minor change to a project file
wuestholz
2013-05-21
*
Minor change to a project file
wuestholz
2013-05-21
*
Minor change to a project file
wuestholz
2013-05-21
*
Updated several project files.
wuestholz
2013-05-21
*
Proper support for inlining codatatype equalities
Rustan Leino
2013-01-18
*
Include BVD in build (to copy it into the Dafny\Binaries directory)
Unknown
2012-10-30
*
Fixed some build/migration issues
Rustan Leino
2012-10-04
*
Put all sources under \Source directory
Rustan Leino
2012-10-04