Age | Commit message (Expand) | Author |
2010-05-31 | First draft implementation of mkAssociative | Christopher L. Conway |
2010-05-27 | Use the newer automake test driver "parallel-tests". This driver: | Morgan Deters |
2010-05-27 | fix bug #111: errors in building lcov-all | Morgan Deters |
2010-05-26 | Adding CnfStream unit tests | Christopher L. Conway |
2010-05-06 | Adding tests for Rational::fromDecimal | Christopher L. Conway |
2010-05-06 | Adding bit-vector constants in SMT2 | Christopher L. Conway |
2010-04-28 | Refactoring Input/Parser code to support external manipulation of the parser ... | Christopher L. Conway |
2010-04-14 | * Better dependency tracking for unit test building and linking, and | Morgan Deters |
2010-04-13 | Merging from branches/decl-scopes (r401:411) | Christopher L. Conway |
2010-04-09 | added experimental "make lcov" target (it runs only unit tests); better cover... | Morgan Deters |
2010-04-08 | A handful of build system fixes: | Morgan Deters |
2010-04-05 | Adding black-box tests for NodeManager (Closes bug #65) | Christopher L. Conway |
2010-04-04 | * Node::isAtomic() now looks at an "atomic" attribute of arguments | Morgan Deters |
2010-04-01 | Parser tweaks to address review | Christopher L. Conway |
2010-04-01 | PARSER STUFF: | Morgan Deters |
2010-03-30 | again, re-enabling integer/rational tests (though they still fail to compile ... | Morgan Deters |
2010-03-30 | I think this finishes off the CDMap<>/Attribute leaks | Morgan Deters |
2010-03-30 | fixing mistaken commit to unit test Makefile.am which removed tests | Morgan Deters |
2010-03-30 | Highlights of this commit are: | Morgan Deters |
2010-03-26 | Added GMP backed Rational and Integer classes, and white box tests for them. ... | Tim King |
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 |