Age | Commit message (Collapse) | Author | |
---|---|---|---|
2012-09-21 | SMT-LIBv2 compliance updates: | Morgan Deters | |
* chainability of =, <, <=, >, >= via the new CHAINABLE kind and TheoryBuiltin rewriter support (resolves bug #383) * with --smtlib2, force interactive mode off by default Also: * fix a few bugs causing crashes * better "alias" processing for options * configure-time fixes to readline detection (this commit was certified error- and warning-free by the test-and-commit script.) |