summaryrefslogtreecommitdiff
path: root/test/unit/parser
AgeCommit message (Expand)Author
2010-02-04remove -*- c++ -*- emacs tag from source files (it overrides cvc4-c++-editing...Morgan Deters
2010-02-04src/expr/kind.h is now automatically generated.Morgan Deters
2010-02-04minor fix for update-copyright.pl; ran update-copyright.pl on all sources; re...Morgan Deters
2010-02-03Adding extra test to parserChristopher L. Conway
2010-02-02Minor changes to parserChristopher L. Conway
2010-02-01Fixing the CVC grammar for parsing Boolean expressions. All the associativity...Dejan Jovanović
2009-12-18More fixes fot the parser tests.Dejan Jovanović
2009-12-18Changing some deatils on the parser. Now we know we are done if command is nu...Dejan Jovanović
2009-12-18Updated parser tests, which are all kinds of FAILChristopher L. Conway
2009-12-18Changes to the parser tests to make them compile.Dejan Jovanović
2009-12-17more build system fix-upsMorgan Deters
2009-12-17update-copyright.pl now retrieves and incorporates author information from re...Morgan Deters
2009-12-17Adding more parser testsChristopher L. Conway
2009-12-17Adding more parser testsChristopher L. Conway
2009-12-17CvcParserBlack and supporting Makefile changesChristopher L. Conway
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback