Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix lit headers implicitly relying on bash-style constructs | 2015-06-08 | |
* | Set up the same test infrastructure as in Boogie. | 2014-05-29 | |
* | Fixed pretty printing of calc statements to use the new(-since-long) format. | 2013-12-17 | |
* | Allowing dangling hints in calculations. | 2013-07-31 | |
* | Added explies support to calculations. | 2013-03-15 | |
* | New well-formedness checks for calculations (no cascading). | 2013-03-05 | |
* | Added tests: parallel calc, better well-formedness checks, calc expression. | 2013-02-15 | |
* | Changed calc syntax (custom operators are now written before the hint) | 2013-02-08 | |
* | Bugfix in the translation of calc statements (oops), added more resolution an... | 2012-09-21 |