Age | Commit message (Expand) | Author |
---|---|---|
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 |