Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix Boogie so it compiled with mono. Patch by Dan Liew. | 2014-01-14 | |
* | further fixes related to using uninterpreted function for error traces | 2012-02-25 | |
* | Re-enabled quantifier checking in the Checked configuration. | 2011-03-16 | |
* | Turn off quantifier checking in the runtime checking. | 2011-03-14 | |
* | Added a new solution configuration, Checked, that builds the Checked configur... | 2011-03-07 | |
* | Copy SMTLib "prover" as a basis for TPTP "prover". | 2011-01-18 |