summaryrefslogtreecommitdiff
path: root/src/parser
AgeCommit message (Expand)Author
2010-10-05parser and core support for SMT-LIBv2 commands get-info, set-option, get-opti...Morgan Deters
2010-10-04fix gdb issues (at least for static builds); resolves bug 194Morgan Deters
2010-10-04remove/shuffle some #include dependencies; fix some documentation; apply codi...Morgan Deters
2010-10-03file header documentation regenerated with contributors names; no code modifi...Morgan Deters
2010-10-01last update broke the parser inadvertently, fixing...Morgan Deters
2010-10-01replacement implementation for clock_gettime() on mac os x, build portability...Morgan Deters
2010-09-20bitvector rewriting for the core theory and testcasesDejan Jovanović
2010-07-28Adding TypeCheckingException to throws clause in SMT parsersChristopher L. Conway
2010-07-28Forcing a type check on Node construction in debug mode (Fixes: #188)Christopher L. Conway
2010-07-27Moving EQ->IFF handling from TheoryEngine to parser/type checkerChristopher L. Conway
2010-07-08Adding missing operators in SMT2 parser: UMINUS, DIVISION, GEQ, LEQChristopher L. Conway
2010-07-08Fixing Array type in SMT v1.2Christopher L. Conway
2010-07-06Adding Array types to SMT2 parserChristopher L. Conway
2010-07-06Adding arithmetic symbols to CVC parser (Fixes: #176)Christopher L. Conway
2010-07-06merge from CC work: pieces of the parser need to be declared to throw Asserti...Morgan Deters
2010-07-06Fixes for doubled-statistics (bug 171), a fix to muzzled builds and some mino...Morgan Deters
2010-07-04make dist && make distcheck functional, other fixesMorgan Deters
2010-07-03With this commit come a number of changes to build system to supportMorgan Deters
2010-07-02re-generated comment headers of source filesMorgan Deters
2010-07-02* Added white-box TheoryEngine test that tests the rewriterMorgan Deters
2010-06-30Parsing support for SMT divisions: LRA, QF_UFLIA, QF_UFLRA, QF_UFNRA, UFNIAChristopher L. Conway
2010-06-30* theory "tree" rewriting implemented and worksMorgan Deters
2010-06-15fix last commit gcc options (-wunknown-pragmas ==> -Wno-unknown-pragmas)Morgan Deters
2010-06-15remove warnings about unknown #pragma GCC diagnostic on older compilersMorgan Deters
2010-06-15(minor) fix for file documentationMorgan Deters
2010-06-14Adding array select/store to SMT v1 and v2 parsersChristopher L. Conway
2010-06-04Adding QF_SAT to SMT parsersChristopher L. Conway
2010-06-04Reimplementing AntlrInputStream::newStreamInputStreamChristopher L. Conway
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-03Implementing input from stdin (Fixes: #144)Christopher L. Conway
2010-06-01Adding SMT v2 parsing support for: QF_IDL, QF_NIA, QF_RDL, QF_UFIDLChristopher L. Conway
2010-06-01Fixing failing test in r521Christopher L. Conway
2010-05-31First draft implementation of mkAssociativeChristopher L. Conway
2010-05-26Prevent lexer errors being raised if a parser error is pending.Christopher L. Conway
2010-05-20Added the division symbol to the parser, and minimal support for it in Theory...Tim King
2010-05-13Minor refactorings to PropEngine, SatSolverChristopher L. Conway
2010-05-12Adding ParserBuilder, reducing visibility of Parser and Input constructorsChristopher L. Conway
2010-05-12true and false are only defined if the core theory is loaded in SMT v2 strict...Christopher L. Conway
2010-05-12Adding class Smt2 to handle declaration of logic and theory symbolsChristopher L. Conway
2010-05-07Tightening lexer rules for numerals in SMT v2Christopher L. Conway
2010-05-06Adding --strict-parsing optionChristopher L. Conway
2010-05-06Adding AntlrInput::tokenTextSubstrChristopher L. Conway
2010-05-06Adding bit-vector constants in SMT2Christopher L. Conway
2010-05-06Implementing Rational::fromDecimal and adding support for real constants in S...Christopher L. Conway
2010-05-04Minor change to SMT v2 grammarChristopher L. Conway
2010-05-04Adding general support for SMT2 set-info commandChristopher L. Conway
2010-05-04Handling SMT 2.0 symbols and info flagsChristopher L. Conway
2010-05-03Small mistake in previous commitChristopher L. Conway
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback