Commit message (Expand) | Author | Age | |
---|---|---|---|
* | cleaned up the OG code | 2013-08-07 | |
* | added python scripts (work in unix and windows) for testing Z3 and CVC4 to ma... | 2013-07-07 | |
* | removed call forall and * args to calls | 2013-02-23 | |
* | Boogie and Dafny: adjustments to the test suite expected output (and a tempor... | 2012-09-27 | |
* | Boogie: added type 'real' with overloaded arithmetic operations plus real div... | 2012-09-27 | |
* | Split parts of AbsyExpr.ssc into AbsyQuant.ssc. Implement lambda expressions;... | 2010-02-19 | |
* | Implement if-then-else expression. | 2010-02-18 | |
* | Removed Output files. These are created on a local machine when the tests ar... | 2009-08-07 | |
* | Initial set of files. | 2009-07-15 |