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
*
Factored out the ParserHelper class into a separate project and updated the f...
wuestholz
2010-12-02
*
Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln
qadeer
2010-12-01
*
forgot to check this file in
qadeer
2010-11-28
*
Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...
qadeer
2010-11-27
*
Dafny: a partial first crack at a Dafny model-viewer provider, including capt...
rustanleino
2010-11-01
*
Update to VS2010.
MichalMoskal
2010-10-07
*
Dafny:
rustanleino
2010-09-14
*
Dafny: Made line endings consistent
tabarbe
2010-08-04
*
Dafny: Removed trailing spaces in code
tabarbe
2010-08-04
*
Fixed some infelicities in the project files.
mikebarnett
2010-08-04
*
fixed path to the binaries directory; there was an extra .."
qadeer
2010-08-03
*
Also build Boogie and Dafny projects in 32-bit configurations.
rustanleino
2010-07-30
*
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