Age | Commit message (Expand) | Author |
---|---|---|
2013-04-03 | Some final minor changes before cutting 1.1. | Morgan Deters |
2013-04-03 | updated NEWS to include inequality solver | Liana Hadarean |
2013-04-01 | Merging some cleanup work: | Morgan Deters |
2013-03-22 | Support for Boolean term conversion in datatypes. | Morgan Deters |
2013-03-20 | Interactive mode support for multiline input | Morgan Deters |
2013-02-20 | Single -q quiets messages/warnings. Double -qq silences sat/unsat output too. | Morgan Deters |
2013-02-04 | Printing commands as they're executed now requires verbosity 3+ | Morgan Deters |
2013-01-28 | Updated NEWS for recent changes. | Morgan Deters |
2013-01-23 | add user patterns to the Smt1 parser; update NEWS file | Morgan Deters |
2012-12-06 | * tuple and record support in compatibility library | Morgan Deters |
2012-12-01 | Cutting release 1.0.1.0 | Morgan Deters |
2012-10-06 | * Clean up some options documentation | Morgan Deters |
2009-11-03 | commit of project structure including autotools support | Morgan Deters |