Age | Commit message (Expand) | Author |
---|---|---|
2010-10-12 | IDENTITY has been removed. | Tim King |
2010-10-05 | parser and core support for SMT-LIBv2 commands get-info, set-option, get-opti... | Morgan Deters |
2010-09-13 | * New normal form for arithmetic is in place. | Tim King |
2010-05-20 | Added the division symbol to the parser, and minimal support for it in Theory... | Tim King |
2010-04-28 | Added theory/arith/kind and enabled the smt parser to read in these symbols. ... | Tim King |
2010-04-01 | PARSER STUFF: | Morgan Deters |
2010-03-30 | Highlights of this commit are: | Morgan Deters |
2010-03-25 | new domain-specific language for kinds files: permits characterization of dif... | Morgan Deters |
2010-02-27 | A bag of unrelated fixes to bring trunk more in-line with recent | Morgan Deters |
2010-02-04 | Added theory output channel interfaces and "Interrupted" exception. | Morgan Deters |