Commit message (Collapse) | 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 | |
| | | | | removed Provers.Simplify, Provers.Z3, Provers.TPTP from the solution | ||
* | 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 ↵ | 2011-03-07 | |
| | | | | configuration of each project. Turned on runtime checking and reference assembly generation for all of the projects, but only in the Checked configuration. | ||
* | Copy SMTLib "prover" as a basis for TPTP "prover". | 2011-01-18 | |