Age | Commit message (Expand) | Author |
---|---|---|
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 al... | Morgan Deters |
2013-05-08 | Cutting release 1.2.1.2 | Morgan Deters |
2013-04-03 | Some final minor changes before cutting 1.1. | Morgan Deters |
2012-11-30 | Fix assertion in smt_engine's getValue | Clark Barrett |
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 |
2012-09-30 | release notes | Morgan Deters |
2012-09-29 | Fix a few segfaults in driver. | Morgan Deters |
2012-09-29 | draft RELEASE-NOTES file, and minor release stuff | Morgan Deters |