Commit message (Expand) | Author | Age | |
---|---|---|---|
* | removed call forall and * args to calls | 2013-02-23 | |
* | Allow attributes on procedure formals, function formals, and bound variables | 2013-01-07 | |
* | Boogie: added type 'real' with overloaded arithmetic operations plus real div... | 2012-09-27 | |
* | Boogie: new syntax for integer division and modulus: use div and mod instead ... | 2012-09-27 | |
* | Boogie: Simplified (and liberalized) parsing of string literals as attribute ... | 2012-03-12 | |
* | Boogie: added features to help with modular verification. In particular, defi... | 2011-05-13 | |
* | Changed label checking for goto targets in StmtList so that they can be any l... | 2011-04-21 | |
* | Boogie: | 2010-10-26 | |
* | Updated the frame files to work with the latest Coco/R. This entails *not* ha... | 2010-06-22 | |
* | Allow ":" in addition to "returns" in function definitions. Make the pretty-p... | 2009-12-17 | |
* | Initial set of files. | 2009-07-15 |