Age | Commit message (Expand) | Author |
---|---|---|
2010-07-04 | With "-d extra-checking", rewrites are now checked (after | Morgan Deters |
2010-06-30 | Support for failing .smt and .smt2 regressions (and other examples with | Morgan Deters |
2010-05-27 | added the ability to add custom expected stdout, stderr, and exit codes to sm... | Morgan Deters |
2010-05-03 | main driver supports .smt2 input, added an smt2 regression (currently broken,... | Morgan Deters |
2010-04-04 | * Addressed issues brought up in Chris's review of Morgan's | Morgan Deters |
2010-04-04 | * Node::isAtomic() now looks at an "atomic" attribute of arguments | Morgan Deters |
2010-02-09 | Changes to the CNF conversion and the SAT solver. All regression pass now, an... | Dejan Jovanović |
2010-02-04 | fix run_regression script | Morgan Deters |
2010-02-04 | test infrastructure updated for multiple-level regressions | Morgan Deters |