summaryrefslogtreecommitdiff
path: root/NEWS
AgeCommit message (Expand)Author
2013-05-08update versioningsmteval2013Morgan 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