index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Util
/
Emacs
Commit message (
Expand
)
Author
Age
*
Jennisys: Parse and print
Rustan Leino
2011-04-07
*
Dafny: added "choose" operator on sets
rustanleino
2011-03-26
*
Dafny:
rustanleino
2011-02-17
*
Miscellaneous changes:
rustanleino
2010-10-22
*
Chalice:
rustanleino
2010-10-09
*
Dafny:
rustanleino
2010-09-17
*
Chalice: No longer use Mask for "held" field; instead, only use the value of...
rustanleino
2010-07-14
*
Dafny:
rustanleino
2010-07-06
*
Chalice:
rustanleino
2010-06-25
*
Dafny:
rustanleino
2010-05-21
*
Boogie:
rustanleino
2010-05-15
*
Dafny:
rustanleino
2010-05-08
*
Dafny:
rustanleino
2010-05-06
*
Dafny:
rustanleino
2010-03-16
*
Removed files that were under GPL.
mikebarnett
2010-02-22
*
Boogie (Util): Added an Emacs flymake extension for BoogiePL.
wuestholz
2010-02-19
*
Boogie (Emacs mode): Added an alternative Emacs mode for BoogiePL. It support...
wuestholz
2010-02-19
*
Dafny: Added if-then-else expressions (replacing and extending the previous b...
rustanleino
2010-02-04
*
Dafny:
rustanleino
2010-01-14
*
Start (some parsing and resolution) of adding algebraic datatypes to Dafny.
rustanleino
2009-11-08
*
Dafny: Added axioms for division and modulo.
rustanleino
2009-09-15
*
* Implemented channels
rustanleino
2009-08-16
*
Initial set of files.
mikebarnett
2009-07-15