summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2010-01-29Fixed compile errorsClark Barrett
2010-01-29Adding Makefile.in to svn:ignoreChristopher L. Conway
2010-01-29Adding Makefile.in to svn:ignoreChristopher L. Conway
2010-01-29Fixing boolean operator precedencesChristopher L. Conway
2010-01-29Update of context moduleClark Barrett
2010-01-29fixed CNF conversion, and more modular; CNF conversion command line option; v...Morgan Deters
2010-01-28Removing Makefile.in'sChristopher L. Conway
2010-01-28Replacing hand-coded autogen.sh with buildconf versionChristopher L. Conway
2010-01-27support "make check" in src/ subdirs for unit-testing of just that module; al...Morgan Deters
2010-01-27test framework fixes; bug 13 closedMorgan Deters
2010-01-27Added additional tests to node_black.h. CVC4 currently passes all but 1 test.Tim King
2010-01-26Undoing stupid commit mistake. Rolling back to -r 102 for test/unit/expr/nod...Tim King
2010-01-26Added test/regress/boolean.cvcTim King
2010-01-26cnf conversionMorgan Deters
2010-01-26fixes to build structure, util classes, lots of fixes to Node and NodeBuilder...Morgan Deters
2010-01-25minor fixes to scoped-context node managerMorgan Deters
2010-01-25scoped node managersMorgan Deters
2010-01-23Added pure PL regression tests. Mostly CNFTim King
2010-01-22Added regression testTim King
2010-01-19minor changes to TheoryMorgan Deters
2010-01-05Changes to configure.ac from code reviewChristopher L. Conway
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-18More fixesDejan Jovanović
2009-12-18numerous fixes to nodes; more comingMorgan Deters
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-18more build system fix-upsMorgan Deters
2009-12-18Lots of parser changes to make Chris happy. Yet more to come later. 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-17coding standard fix on SmtEngine; fix recursive makeMorgan Deters
2009-12-17CvcParserBlack and supporting Makefile changesChristopher L. Conway
2009-12-17+ test infrastructure fixesMorgan Deters
2009-12-17add system regression testing infrastructureMorgan Deters
2009-12-17fix typos in Makefile.am for unit testingMorgan Deters
2009-12-17addressed some concerns raised by Clark in bug #6 (code review of driver code)Morgan Deters
2009-12-17making config/mkbuilddir executableMorgan Deters
2009-12-17Minor changes from code reviewClark Barrett
2009-12-17build system cleanup; test system separation into white-box, black-box, and p...Morgan Deters
2009-12-17testing infrastructure fixesMorgan Deters
2009-12-17support nonstandard, unconfigured builds (e.g., "./configure debug" followed ...Morgan Deters
2009-12-16+ refactoring fixes for expr package based on code review (see bug #4)Morgan Deters
2009-12-16Small refactoring changes for the expr package.Tim King
2009-12-16Spelling correction in commentsChristopher L. Conway
2009-12-16Standardizing configure arguments for ANTLR/CxxTestChristopher L. Conway
2009-12-16Fixes to the build system:Morgan Deters
2009-12-15Minor changes to parser files from code review.Christopher L. Conway
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback