Age | Commit message (Expand) | Author |
2010-07-03 | With this commit come a number of changes to build system to support | Morgan Deters |
2010-07-02 | re-generated comment headers of source files | Morgan Deters |
2010-06-30 | Parsing support for SMT divisions: LRA, QF_UFLIA, QF_UFLRA, QF_UFNRA, UFNIA | Christopher L. Conway |
2010-06-30 | * theory "tree" rewriting implemented and works | Morgan Deters |
2010-06-15 | fix last commit gcc options (-wunknown-pragmas ==> -Wno-unknown-pragmas) | Morgan Deters |
2010-06-15 | remove warnings about unknown #pragma GCC diagnostic on older compilers | Morgan Deters |
2010-06-15 | (minor) fix for file documentation | Morgan Deters |
2010-06-14 | Adding array select/store to SMT v1 and v2 parsers | Christopher L. Conway |
2010-06-04 | Adding QF_SAT to SMT parsers | Christopher L. Conway |
2010-06-04 | ** Don't fear the files-changed list, almost all changes are in the ** | Morgan Deters |
2010-06-04 | Missing files in last commit | Christopher L. Conway |
2010-06-04 | Enabling RDL/IDL in SMT v1 and adding some simple tests | Christopher L. Conway |
2010-06-01 | Fixing failing test in r521 | Christopher L. Conway |
2010-05-31 | First draft implementation of mkAssociative | Christopher L. Conway |
2010-05-20 | Added the division symbol to the parser, and minimal support for it in Theory... | Tim King |
2010-05-04 | Adding general support for SMT2 set-info command | Christopher L. Conway |
2010-05-02 | smt parser for bit-vectors | Dejan Jovanović |
2010-05-01 | Fixing private/public header warnings in parser library | Christopher L. Conway |
2010-04-29 | Added the capability to construct expressions by passing the operator instead... | Dejan Jovanović |
2010-04-29 | (Not) Handling parameterized sorts in SMT v2 | Christopher L. Conway |
2010-04-29 | First draft implementation of SMT v2 parser | Christopher L. Conway |
2010-04-28 | SMT parser has to map 'Real' to RealType | Christopher L. Conway |
2010-04-28 | Build fix for parser | Dejan Jovanović |
2010-04-28 | Refactoring Input/Parser code to support external manipulation of the parser ... | Christopher L. Conway |
2010-04-28 | Added theory/arith/kind and enabled the smt parser to read in these symbols. ... | Tim King |
2010-04-27 | Adding Integer and Rational constants to SMT | Christopher L. Conway |
2010-04-27 | Adding a bit of documentation to the SMT parser | Christopher L. Conway |
2010-04-14 | Marging from types 404:415, changes: Massive | Dejan Jovanović |
2010-04-13 | Merging from branches/decl-scopes (r401:411) | Christopher L. Conway |
2010-04-05 | fix most of the warnings in the parser by (1) quieting unused-function and un... | Morgan Deters |
2010-04-05 | Minor refactorings, in response to code review (Bug #73) | Christopher L. Conway |
2010-04-04 | * Node::isAtomic() now looks at an "atomic" attribute of arguments | Morgan Deters |
2010-04-02 | Overriding ANTLR3 error recovery routine | Christopher L. Conway |
2010-04-01 | Changing min/maxArity to use metakind info. | Christopher L. Conway |
2010-04-01 | Parser tweaks to address review | Christopher L. Conway |
2010-04-01 | reran update-copyright.pl to get new contributors and add new header comments... | Morgan Deters |
2010-04-01 | PARSER STUFF: | Morgan Deters |
2010-03-31 | Fix bug in SMT-LIB with let/flet bindings | Christopher L. Conway |
2010-03-31 | Finishing parser cleanup. Code is now review-ready. | Christopher L. Conway |
2010-03-31 | More parser cleanup. Should fix problems with last commit. | Christopher L. Conway |
2010-03-31 | Code cleanup in parser | Christopher L. Conway |
2010-03-30 | Removing unnecessary .gitignores | Christopher L. Conway |
2010-03-30 | Merging from branches/antlr3 (r246:354) | Christopher L. Conway |
2010-03-30 | Highlights of this commit are: | Morgan Deters |
2010-03-25 | Merging let/flet rules in SMT parser | Christopher L. Conway |
2010-03-16 | * test/unit/Makefile.am, test/unit/expr/attribute_white.h, | Morgan Deters |
2010-03-12 | * src/context/cdmap.h: rename orderedIterator to iterator, do away | Morgan Deters |
2010-03-10 | Lexical scoping for let-bound variables (Bug #53) | Christopher L. Conway |
2010-03-10 | Adding preliminary let/flet support to SMT parser (Bug #51) | Christopher L. Conway |
2010-03-09 | Adding support for "distinct" builtin in SMT parser | Christopher L. Conway |