summaryrefslogtreecommitdiff
path: root/NEWS
AgeCommit message (Expand)Author
2013-12-04Don't put define-funs in model output; bug 411 testcase no longer relevant.Morgan Deters
2013-12-03change string newsTianyi Liang
2013-12-02Update NEWS file.Morgan Deters
2013-11-27Some versioning in advance of the 1.3 release.Morgan Deters
2013-11-11Change exit status to be more consistent with other command-line tools: 0 suc...Morgan Deters
2013-09-11Theory of strings.Tianyi Liang
2013-09-09Support per-command verbosity settings.Morgan Deters
2013-07-11Support for TPTP's TFF0 (with arithmetic)Morgan Deters
2013-06-24Support for abs, to_int, is_int, divisible in SMT-LIB; also --rewrite-divk al...Morgan Deters
2013-05-29Per SMT-LIB spec, allow (set-info..) command to succeed implicitly with unkno...Morgan Deters
2013-05-20Don't allow get-model & co after a user push/popMorgan Deters
2013-05-08Prerelease versioning for 1.2.xMorgan Deters
2013-05-08Cutting release 1.2.1.2Morgan Deters
2013-04-03Pre-release versioningMorgan Deters
2013-04-03Some final minor changes before cutting 1.1.Morgan Deters
2013-04-03updated NEWS to include inequality solverLiana Hadarean
2013-04-01Merging some cleanup work:Morgan Deters
2013-03-22Support for Boolean term conversion in datatypes.Morgan Deters
2013-03-20Interactive mode support for multiline inputMorgan Deters
2013-02-20Single -q quiets messages/warnings. Double -qq silences sat/unsat output too.Morgan Deters
2013-02-04Printing commands as they're executed now requires verbosity 3+Morgan Deters
2013-01-28Updated NEWS for recent changes.Morgan Deters
2013-01-23add user patterns to the Smt1 parser; update NEWS fileMorgan Deters
2012-12-06* tuple and record support in compatibility libraryMorgan Deters
2012-12-01Cutting release 1.0.1.0Morgan Deters
2012-10-06* Clean up some options documentationMorgan Deters
2009-11-03commit of project structure including autotools supportMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback