index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Util
/
VS2010
/
DafnyExtension
/
DafnyExtension
/
DafnyDriver.cs
Commit message (
Expand
)
Author
Age
*
Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl...
Rustan Leino
2013-03-05
*
bunch of refactorings
Unknown
2012-10-03
*
Dafny: removed div/mod axioms, since Boogie now interprets div/mod
Unknown
2012-09-28
*
DafnyExtension: addressed a class initialization order problem
Rustan Leino
2012-09-09
*
DafnyExtension: report out-of-time and out-of-memory errors
Rustan Leino
2012-08-17
*
DafnyExtension: toward some fixes
Unknown
2012-08-17
*
DafnyExtension: hide execution-trace output, show split-expr related error l...
Rustan Leino
2012-08-10
*
Dafny: the DafnyExtension mode for Visual Studio now calls the verifier and v...
Unknown
2012-08-08
*
Dafny VS Extension: edited to make it build with new AST types, fixed some bu...
Unknown
2012-08-02
*
Dafny VSX: fixed compilation inconsistency
Rustan Leino
2012-01-10
*
DafnyExtension: fix up compilation (once again)
Rustan Leino
2011-11-22
*
DafnyExtension: fixed build problems
Rustan Leino
2011-11-15
*
Dafny: Record source positions of start/end curly braces for declaration con...
rustanleino
2010-10-27