index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
DafnyDriver
Commit message (
Expand
)
Author
Age
*
Sign both of the Dafny projects and have Dafny.exe get a version number as well.
mikebarnett
2010-07-30
*
Dafny: DafnyDriver port part 3/3: Updating sources to reference new project.
tabarbe
2010-07-28
*
Dafny: DafnyDriver port part 2/3: Adding new dependent file, removing unneces...
tabarbe
2010-07-28
*
Dafny: DafnyDriver port part 1/3: Replacing old source files with ported version
tabarbe
2010-07-28
*
Dafny/DafnyDriver: Renaming source files in preparation for port commit
tabarbe
2010-07-28
*
Boogie: Added an additional parameter 'defines' to the method 'BoogiePL.Parse...
wuestholz
2010-07-06
*
Updated the frame files to work with the latest Coco/R. This entails *not* ha...
mikebarnett
2010-06-22
*
Dafny:
rustanleino
2010-05-21
*
Dafny:
rustanleino
2010-05-06
*
Dafny:
rustanleino
2010-03-12
*
Dafny: Added stratosphere tests for datatypes--that is, it is now checked th...
rustanleino
2010-03-11
*
Added resolution and translation of algebraic datatypes and (in function bodi...
rustanleino
2009-11-20
*
* Boogie and Dafny: added /cev:<file> option
rustanleino
2009-09-15
*
Sign assemblies
stobies
2009-08-17
*
Initial set of files.
mikebarnett
2009-07-15