Age | Commit message (Expand) | Author |
2010-03-16 | * test/unit/Makefile.am, test/unit/expr/attribute_white.h, | Morgan Deters |
2010-03-12 | Fixing unnecessary construction of NOT nodes when generating conflict clause... | Dejan Jovanović |
2010-03-08 | This fixes regressions at levels >= 1 which were failing | Morgan Deters |
2010-03-05 | * public/private code untangled (smt/smt_engine.h no longer #includes | Morgan Deters |
2010-03-01 | Added theory black box test. | Tim King |
2010-02-26 | * test/unit/context/context_black.h: Test CDList<>. In particular, | Morgan Deters |
2010-02-26 | TheoryUFWhite tests are added. There are also accompanying bug fixes. These c... | Tim King |
2010-02-25 | Created basic node builder and kind tests. Also fixed a couple of node builde... | Tim King |
2010-02-22 | * configure.ac: Remove doc/ from search path for Makefile.ams | Morgan Deters |
2010-02-22 | fix bug 22 (remove tracing from non-trace builds; remove all output | Morgan Deters |
2010-02-19 | * Attribute infrastructure -- static design. Documentation is coming. | Morgan Deters |
2010-02-04 | build system for multi-level regressions | Morgan Deters |
2010-02-04 | test infrastructure updated for multiple-level regressions | Morgan Deters |
2010-02-03 | some more tests for the context. | Dejan Jovanović |
2010-02-02 | beginings of test for CDO. one fail | Dejan Jovanović |
2010-01-27 | support "make check" in src/ subdirs for unit-testing of just that module; al... | Morgan Deters |
2010-01-27 | test framework fixes; bug 13 closed | Morgan Deters |
2010-01-26 | fixes to build structure, util classes, lots of fixes to Node and NodeBuilder... | Morgan Deters |
2009-12-18 | Updated parser tests, which are all kinds of FAIL | Christopher L. Conway |
2009-12-17 | more build system fix-ups | Morgan Deters |
2009-12-17 | update-copyright.pl now retrieves and incorporates author information from re... | Morgan Deters |
2009-12-17 | Adding more parser tests | Christopher L. Conway |
2009-12-17 | CvcParserBlack and supporting Makefile changes | Christopher L. Conway |
2009-12-17 | + test infrastructure fixes | Morgan Deters |
2009-12-17 | fix typos in Makefile.am for unit testing | Morgan Deters |
2009-12-17 | build system cleanup; test system separation into white-box, black-box, and p... | Morgan Deters |
2009-12-17 | testing infrastructure fixes | Morgan Deters |
2009-12-16 | Fixes to the build system: | Morgan Deters |
2009-12-09 | some fixes and organizational adjustments to assert code, parsers/lexers, and... | Morgan Deters |
2009-12-07 | big check-in of various fixes and adjustments | Morgan Deters |
2009-11-20 | fixes to build/test system | Morgan Deters |