summaryrefslogtreecommitdiff
path: root/src/parser/smt
AgeCommit message (Expand)Author
2010-06-04** Don't fear the files-changed list, almost all changes are in the **Morgan Deters
2010-06-04Missing files in last commitChristopher L. Conway
2010-06-04Enabling RDL/IDL in SMT v1 and adding some simple testsChristopher L. Conway
2010-06-01Fixing failing test in r521Christopher L. Conway
2010-05-31First draft implementation of mkAssociativeChristopher L. Conway
2010-05-20Added the division symbol to the parser, and minimal support for it in Theory...Tim King
2010-05-04Adding general support for SMT2 set-info commandChristopher L. Conway
2010-05-02smt parser for bit-vectorsDejan Jovanović
2010-05-01Fixing private/public header warnings in parser libraryChristopher L. Conway
2010-04-29Added the capability to construct expressions by passing the operator instead...Dejan Jovanović
2010-04-29(Not) Handling parameterized sorts in SMT v2Christopher L. Conway
2010-04-29First draft implementation of SMT v2 parserChristopher L. Conway
2010-04-28SMT parser has to map 'Real' to RealTypeChristopher L. Conway
2010-04-28Build fix for parserDejan Jovanović
2010-04-28Refactoring Input/Parser code to support external manipulation of the parser ...Christopher L. Conway
2010-04-28Added theory/arith/kind and enabled the smt parser to read in these symbols. ...Tim King
2010-04-27Adding Integer and Rational constants to SMTChristopher L. Conway
2010-04-27Adding a bit of documentation to the SMT parserChristopher L. Conway
2010-04-14Marging from types 404:415, changes: MassiveDejan Jovanović
2010-04-13Merging from branches/decl-scopes (r401:411)Christopher L. Conway
2010-04-05fix most of the warnings in the parser by (1) quieting unused-function and un...Morgan Deters
2010-04-05Minor refactorings, in response to code review (Bug #73)Christopher L. Conway
2010-04-04* Node::isAtomic() now looks at an "atomic" attribute of argumentsMorgan Deters
2010-04-02Overriding ANTLR3 error recovery routineChristopher L. Conway
2010-04-01Changing min/maxArity to use metakind info.Christopher L. Conway
2010-04-01Parser tweaks to address reviewChristopher L. Conway
2010-04-01reran update-copyright.pl to get new contributors and add new header comments...Morgan Deters
2010-04-01PARSER STUFF:Morgan Deters
2010-03-31Fix bug in SMT-LIB with let/flet bindingsChristopher L. Conway
2010-03-31Finishing parser cleanup. Code is now review-ready.Christopher L. Conway
2010-03-31More parser cleanup. Should fix problems with last commit.Christopher L. Conway
2010-03-31Code cleanup in parserChristopher L. Conway
2010-03-30Removing unnecessary .gitignoresChristopher L. Conway
2010-03-30Merging from branches/antlr3 (r246:354)Christopher L. Conway
2010-03-30Highlights of this commit are:Morgan Deters
2010-03-25Merging let/flet rules in SMT parserChristopher 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 awayMorgan Deters
2010-03-10Lexical scoping for let-bound variables (Bug #53)Christopher L. Conway
2010-03-10Adding preliminary let/flet support to SMT parser (Bug #51)Christopher L. Conway
2010-03-09Adding support for "distinct" builtin in SMT parserChristopher L. Conway
2010-03-09Adding support for sort U in QF_UF.Christopher L. Conway
2010-02-25* src/expr/node.h: add a copy constructor. Apparently GCC doesn'tMorgan Deters
2010-02-18Adding --no-checking option to disable semantic checks in parserChristopher L. Conway
2010-02-16Moving parser error checking into AntlrParserChristopher L. Conway
2010-02-16Converting semantic predicates in parser to AlwaysAssertionsChristopher L. Conway
2010-02-12Changes to hashing that solve the xinetd boolean benchmark in 14s (from ~25mi...Dejan Jovanović
2010-02-07Documenting type.h/cppChristopher L. Conway
2010-02-06Preliminary support for types in parserChristopher L. Conway
2010-02-04remove -*- c++ -*- emacs tag from source files (it overrides cvc4-c++-editing...Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback