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