summaryrefslogtreecommitdiff
path: root/test/unit/context
AgeCommit message (Expand)Author
2010-10-12Merge from cc-memout branch. Here are the main pointsMorgan Deters
2010-10-03file header documentation regenerated with contributors names; no code modifi...Morgan Deters
2010-10-01re-add no-deprecated to C sources; update some file-level documentation; firs...Morgan Deters
2010-09-30fixed a number of problems with mac os x builds. build now works on mac os x...Morgan Deters
2010-09-27- This update adds DynamicArray<T>. This is a bare bones heap allocated arra...Tim King
2010-08-17Add "no trash" CDMap elements, so that CDMap elements can themselvesMorgan Deters
2010-07-08context work to support cdmaps with elements allocated in context memoryMorgan Deters
2010-06-29* Add CDMap<>::insertAtContextLevelZero(k, d) for inserting "initializing"Morgan Deters
2010-06-04** Don't fear the files-changed list, almost all changes are in the **Morgan Deters
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