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
*
Dafny: added "multiset" keyword to syntax highlighting in emacs, vim, latex, VSX
Rustan Leino
2011-11-09
*
Dafny: removed Dafny's "foreach" statements (replaced by the new "parallel" s...
Rustan Leino
2011-10-26
*
Dafny: changed triggers (which are never really used, anyhow) from having a s...
Rustan Leino
2011-10-21
*
Jennisys: added "ensures" to emacs mode
Rustan Leino
2011-10-19
*
Jennisys: change of keywords, now: interface/datamodel/code
Rustan Leino
2011-09-28
*
Chalice: added string type and string literals (but no other string operations)
Rustan Leino
2011-07-26
*
Dafny: removed deprecated "call" and "use" keywords from syntax highlighters
Rustan Leino
2011-06-20
*
Dafny: added constructors
Rustan Leino
2011-05-28
*
Dafny: added type "nat"
Rustan Leino
2011-04-19
*
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