summaryrefslogtreecommitdiff
path: root/test/unit/context
AgeCommit message (Expand)Author
2010-04-14* Better dependency tracking for unit test building and linking, andMorgan Deters
2010-04-09minor fixes to lcov build target, better contextobj testingMorgan Deters
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-06* Add some protected ContextObj accessors for ContextObj-derived classes:Morgan Deters
2010-04-04* Node::isAtomic() now looks at an "atomic" attribute of argumentsMorgan Deters
2010-04-01reran update-copyright.pl to get new contributors and add new header comments...Morgan Deters
2010-03-30I think this finishes off the CDMap<>/Attribute leaksMorgan Deters
2010-03-14* test/unit/context/context_black.h: added a test for Clark's fix to bug #45.Morgan Deters
2010-03-10fix production-build unit testing errors (they assumed that assertions were on)Morgan Deters
2010-03-05* public/private code untangled (smt/smt_engine.h no longer #includesMorgan Deters
2010-02-26* test/unit/context/context_black.h: Test CDList<>. In particular,Morgan Deters
2010-02-08Disabling the failing test case for the context.Dejan Jovanović
2010-02-04remove -*- c++ -*- emacs tag from source files (it overrides cvc4-c++-editing...Morgan Deters
2010-02-04minor fix for update-copyright.pl; ran update-copyright.pl on all sources; re...Morgan Deters
2010-02-03context_mm testingDejan Jovanović
2010-02-03some more tests for the context.Dejan Jovanović
2010-02-02beginings of test for CDO. one failDejan Jovanović
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback