Age | Commit message (Collapse) | Author | |
---|---|---|---|
2012-11-30 | Fix assertion in smt_engine's getValue | Clark Barrett | |
Minor changes to RELASE-NOTES | |||
2012-11-28 | minor | Kshitij Bansal | |
2012-11-28 | update to release notes | Morgan Deters | |
2012-10-11 | compliance note | Morgan Deters | |
2012-10-02 | * re-enable some Z3 extended commands: | Morgan Deters | |
declare-const declare-funs declare-preds define simplify * don't output --help on bad options, just invite user to try --help * Datatypes from SMT2 parser now name the tester is-cons (e.g.) * unknown results produce models, --check-model doesn't fail hard for incorrect unknown models. removed the assert that kept arithmetic from producing models if it saw nonlinear (this commit was certified error- and warning-free by the test-and-commit script.) | |||
2012-09-30 | release notes | Morgan Deters | |
2012-09-29 | Fix a few segfaults in driver. | Morgan Deters | |
(this commit was certified error- and warning-free by the test-and-commit script.) | |||
2012-09-29 | draft RELEASE-NOTES file, and minor release stuff | Morgan Deters | |