Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-06-25 | Update AUTHORS, NEWS, README, RELEASE-NOTES and THANKS file for 1.6. | Aina Niemetz | |
2017-08-21 | Change Bugzilla urls to Github issues. | Mathias Preiner | |
2017-06-30 | Updated NEWS, README, RELEASE-NOTES. | Clark Barrett | |
2014-07-02 | Minor. | Morgan Deters | |
2014-06-19 | Versioning preparation. | Morgan Deters | |
2013-11-27 | Some versioning in advance of the 1.3 release. | Morgan Deters | |
2013-06-24 | Support for abs, to_int, is_int, divisible in SMT-LIB; also --rewrite-divk ↵ | Morgan Deters | |
allows linearization of div,mod,/ by a constant. | |||
2013-05-08 | Cutting release 1.2.1.2 | Morgan Deters | |
2013-04-03 | Some final minor changes before cutting 1.1. | Morgan Deters | |
* update documentation * update the cut-release script * spelling/wording updates * add a (previously-failing) fuzzer regression | |||
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 | |