summaryrefslogtreecommitdiff
path: root/RELEASE-NOTES
AgeCommit message (Expand)Author
2014-06-19Versioning preparation.Morgan Deters
2013-11-27Some versioning in advance of the 1.3 release.Morgan Deters
2013-06-24Support for abs, to_int, is_int, divisible in SMT-LIB; also --rewrite-divk al...Morgan Deters
2013-05-08Cutting release 1.2.1.2Morgan Deters
2013-04-03Some final minor changes before cutting 1.1.Morgan Deters
2012-11-30Fix assertion in smt_engine's getValueClark Barrett
2012-11-28minorKshitij Bansal
2012-11-28update to release notesMorgan Deters
2012-10-11compliance noteMorgan Deters
2012-10-02* re-enable some Z3 extended commands:Morgan Deters
2012-09-30release notesMorgan Deters
2012-09-29Fix a few segfaults in driver.Morgan Deters
2012-09-29draft RELEASE-NOTES file, and minor release stuffMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback