projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merging the unate-propagator branch into the trunk. This is a big update so expect...
[cvc5.git] / test / unit / Makefile.am
2010-06-29 Tim KingMerging the unate-propagator branch into the trunk... blob | commitdiff | raw
2010-06-15 Morgan Detersfix last commit gcc options (-wunknown-pragmas ==>... blob | commitdiff | raw | diff to current
2010-06-15 Morgan Detersremove warnings about unknown #pragma GCC diagnostic... blob | commitdiff | raw | diff to current
2010-06-03 Christopher L. ConwayImplementing input from stdin (Fixes: #144) blob | commitdiff | raw | diff to current
2010-06-03 Morgan Deters* Added NodeBuilder<>::getChild() to make interface... blob | commitdiff | raw | diff to current
2010-06-02 Morgan Detersmore VERBOSE test failures blob | commitdiff | raw | diff to current
2010-06-01 Christopher L. ConwayFixing test failures in production build blob | commitdiff | raw | diff to current
2010-05-31 Christopher L. ConwayFirst draft implementation of mkAssociative blob | commitdiff | raw | diff to current
2010-05-27 Morgan DetersUse the newer automake test driver "parallel-tests... blob | commitdiff | raw | diff to current
2010-05-27 Morgan Detersfix bug #111: errors in building lcov-all blob | commitdiff | raw | diff to current
2010-05-26 Christopher L. ConwayAdding CnfStream unit tests blob | commitdiff | raw | diff to current
2010-05-06 Christopher L. ConwayAdding tests for Rational::fromDecimal blob | commitdiff | raw | diff to current
2010-05-06 Christopher L. ConwayAdding bit-vector constants in SMT2 blob | commitdiff | raw | diff to current
2010-04-28 Christopher L. ConwayRefactoring Input/Parser code to support external manip... blob | commitdiff | raw | diff to current
2010-04-14 Morgan Deters* Better dependency tracking for unit test building... blob | commitdiff | raw | diff to current
2010-04-13 Christopher L. ConwayMerging from branches/decl-scopes (r401:411) blob | commitdiff | raw | diff to current
2010-04-09 Morgan Detersadded experimental "make lcov" target (it runs only... blob | commitdiff | raw | diff to current
2010-04-08 Morgan DetersA handful of build system fixes: blob | commitdiff | raw | diff to current
2010-04-05 Christopher L. ConwayAdding black-box tests for NodeManager (Closes bug... blob | commitdiff | raw | diff to current
2010-04-04 Morgan Deters* Node::isAtomic() now looks at an "atomic" attribute... blob | commitdiff | raw | diff to current
2010-04-01 Christopher L. ConwayParser tweaks to address review blob | commitdiff | raw | diff to current
2010-04-01 Morgan DetersPARSER STUFF: blob | commitdiff | raw | diff to current
2010-03-30 Morgan Detersagain, re-enabling integer/rational tests (though they... blob | commitdiff | raw | diff to current
2010-03-30 Morgan DetersI think this finishes off the CDMap<>/Attribute leaks blob | commitdiff | raw | diff to current
2010-03-30 Morgan Detersfixing mistaken commit to unit test Makefile.am which... blob | commitdiff | raw | diff to current
2010-03-30 Morgan DetersHighlights of this commit are: blob | commitdiff | raw | diff to current
2010-03-26 Tim KingAdded GMP backed Rational and Integer classes, and... blob | commitdiff | raw | diff to current
2010-03-16 Morgan Deters* test/unit/Makefile.am, test/unit/expr/attribute_white.h, blob | commitdiff | raw | diff to current
2010-03-12 Dejan JovanovićFixing unnecessary construction of NOT nodes when... blob | commitdiff | raw | diff to current
2010-03-08 Morgan DetersThis fixes regressions at levels >= 1 which were failing blob | commitdiff | raw | diff to current
2010-03-05 Morgan Deters* public/private code untangled (smt/smt_engine.h no... blob | commitdiff | raw | diff to current
2010-03-01 Tim KingAdded theory black box test. blob | commitdiff | raw | diff to current
2010-02-26 Morgan Deters* test/unit/context/context_black.h: Test CDList<>... blob | commitdiff | raw | diff to current
2010-02-26 Tim KingTheoryUFWhite tests are added. There are also accompany... blob | commitdiff | raw | diff to current
2010-02-25 Tim KingCreated basic node builder and kind tests. Also fixed... blob | commitdiff | raw | diff to current
2010-02-22 Morgan Deters* configure.ac: Remove doc/ from search path for Makefi... blob | commitdiff | raw | diff to current
2010-02-22 Morgan Detersfix bug 22 (remove tracing from non-trace builds; remov... blob | commitdiff | raw | diff to current
2010-02-19 Morgan Deters* Attribute infrastructure -- static design. Documenta... blob | commitdiff | raw | diff to current
2010-02-04 Morgan Detersbuild system for multi-level regressions blob | commitdiff | raw | diff to current
2010-02-04 Morgan Deterstest infrastructure updated for multiple-level regressions blob | commitdiff | raw | diff to current
2010-02-03 Dejan Jovanovićsome more tests for the context. blob | commitdiff | raw | diff to current
2010-02-02 Dejan Jovanovićbeginings of test for CDO. one fail blob | commitdiff | raw | diff to current
2010-01-27 Morgan Deterssupport "make check" in src/ subdirs for unit-testing... blob | commitdiff | raw | diff to current
2010-01-27 Morgan Deterstest framework fixes; bug 13 closed blob | commitdiff | raw | diff to current
2010-01-26 Morgan Detersfixes to build structure, util classes, lots of fixes... blob | commitdiff | raw | diff to current
2009-12-18 Christopher L. ConwayUpdated parser tests, which are all kinds of FAIL blob | commitdiff | raw | diff to current
2009-12-17 Morgan Detersmore build system fix-ups blob | commitdiff | raw | diff to current
2009-12-17 Morgan Detersupdate-copyright.pl now retrieves and incorporates... blob | commitdiff | raw | diff to current
2009-12-17 Christopher L. ConwayAdding more parser tests blob | commitdiff | raw | diff to current
2009-12-17 Christopher L. ConwayCvcParserBlack and supporting Makefile changes blob | commitdiff | raw | diff to current
2009-12-17 Morgan Deters+ test infrastructure fixes blob | commitdiff | raw | diff to current
2009-12-17 Morgan Detersfix typos in Makefile.am for unit testing blob | commitdiff | raw | diff to current
2009-12-17 Morgan Detersbuild system cleanup; test system separation into white... blob | commitdiff | raw | diff to current
2009-12-17 Morgan Deterstesting infrastructure fixes blob | commitdiff | raw | diff to current
2009-12-16 Morgan DetersFixes to the build system: blob | commitdiff | raw | diff to current
2009-12-09 Morgan Deterssome fixes and organizational adjustments to assert... blob | commitdiff | raw | diff to current
2009-12-07 Morgan Detersbig check-in of various fixes and adjustments blob | commitdiff | raw | diff to current
2009-11-20 Morgan Detersfixes to build/test system blob | commitdiff | raw | diff to current