summaryrefslogtreecommitdiff
path: root/test/unit/Makefile.am
AgeCommit message (Expand)Author
2011-03-26fix typoMorgan Deters
2011-03-25This is a merge from the "theoryfixes+cdattrhash" branch. The changesMorgan Deters
2010-11-19Merge from ufprop branch, including:Morgan Deters
2010-10-27fix test MakefileMorgan Deters
2010-10-26Cleaning up some header filesChristopher L. Conway
2010-10-24Adding unit test for InteractiveShellChristopher L. Conway
2010-10-12Merge from cc-memout branch. Here are the main pointsMorgan Deters
2010-10-07NodeSelfIterator implementation and unit test (resolves bug #204); also fix P...Morgan Deters
2010-10-01replacement implementation for clock_gettime() on mac os x, build portability...Morgan Deters
2010-09-27- This update adds DynamicArray<T>. This is a bare bones heap allocated arra...Tim King
2010-09-02* add TimerStat statistic typeMorgan Deters
2010-08-17Merge from "cc" branch:Morgan Deters
2010-08-16Fixing failures in minisatDejan Jovanović
2010-07-07Shared term manager tested and workingClark Barrett
2010-07-04make dist && make distcheck functional, other fixesMorgan Deters
2010-07-03With this commit come a number of changes to build system to supportMorgan Deters
2010-07-02* Added white-box TheoryEngine test that tests the rewriterMorgan Deters
2010-06-29Merging the unate-propagator branch into the trunk. This is a big update so ...Tim King
2010-06-15fix last commit gcc options (-wunknown-pragmas ==> -Wno-unknown-pragmas)Morgan Deters
2010-06-15remove warnings about unknown #pragma GCC diagnostic on older compilersMorgan Deters
2010-06-03Implementing input from stdin (Fixes: #144)Christopher L. Conway
2010-06-03* Added NodeBuilder<>::getChild() to make interface more consistentMorgan Deters
2010-06-02more VERBOSE test failuresMorgan Deters
2010-06-01Fixing test failures in production buildChristopher L. Conway
2010-05-31First draft implementation of mkAssociativeChristopher L. Conway
2010-05-27Use the newer automake test driver "parallel-tests". This driver:Morgan Deters
2010-05-27fix bug #111: errors in building lcov-allMorgan Deters
2010-05-26Adding CnfStream unit testsChristopher L. Conway
2010-05-06Adding tests for Rational::fromDecimalChristopher L. Conway
2010-05-06Adding bit-vector constants in SMT2Christopher L. Conway
2010-04-28Refactoring 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, andMorgan Deters
2010-04-13Merging from branches/decl-scopes (r401:411)Christopher L. Conway
2010-04-09added experimental "make lcov" target (it runs only unit tests); better cover...Morgan Deters
2010-04-08A handful of build system fixes:Morgan Deters
2010-04-05Adding black-box tests for NodeManager (Closes bug #65)Christopher L. Conway
2010-04-04* Node::isAtomic() now looks at an "atomic" attribute of argumentsMorgan Deters
2010-04-01Parser tweaks to address reviewChristopher L. Conway
2010-04-01PARSER STUFF:Morgan Deters
2010-03-30again, re-enabling integer/rational tests (though they still fail to compile ...Morgan Deters
2010-03-30I think this finishes off the CDMap<>/Attribute leaksMorgan Deters
2010-03-30fixing mistaken commit to unit test Makefile.am which removed testsMorgan Deters
2010-03-30Highlights of this commit are:Morgan Deters
2010-03-26Added 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-12Fixing unnecessary construction of NOT nodes when generating conflict clause...Dejan Jovanović
2010-03-08This fixes regressions at levels >= 1 which were failingMorgan Deters
2010-03-05* public/private code untangled (smt/smt_engine.h no longer #includesMorgan Deters
2010-03-01Added theory black box test.Tim King
2010-02-26* test/unit/context/context_black.h: Test CDList<>. In particular,Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback