summaryrefslogtreecommitdiff
path: root/src/context
AgeCommit message (Expand)Author
2010-10-03file header documentation regenerated with contributors names; no code modifi...Morgan Deters
2010-10-02revert a workaround fix to CDMap that was committed as part of the arith-inde...Morgan Deters
2010-10-02branches/arith-indexed-variables merged into the main trunk.Tim King
2010-10-01re-add no-deprecated to C sources; update some file-level documentation; firs...Morgan Deters
2010-09-27- This update adds DynamicArray<T>. This is a bare bones heap allocated arra...Tim King
2010-09-01added documentation, closes bug 97Morgan Deters
2010-08-19UF theory bug fixes, code cleanup, and extra debugging output.Morgan Deters
2010-08-17Merge from "cc" branch:Morgan Deters
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-07-07minor changes to cdmap/cdset interface for detection of duplicate insertsMorgan Deters
2010-07-04Considerably simplified the way output streams are used. This commitMorgan Deters
2010-07-03With this commit come a number of changes to build system to supportMorgan Deters
2010-06-29* Add CDMap<>::insertAtContextLevelZero(k, d) for inserting "initializing"Morgan Deters
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-04** Don't fear the files-changed list, almost all changes are in the **Morgan Deters
2010-06-02added a handful of debugTagIsOn("context") checks to resolve bug 143Morgan Deters
2010-05-26CDMap<> and CDOmap<> fixes to resolve bug 123Morgan Deters
2010-05-26CDMap: fix bug 130Morgan Deters
2010-05-04Disabling semantic checks in competition mode.Christopher L. Conway
2010-04-17Fixing compiler error for optimized buildsChristopher L. Conway
2010-04-15Moving debug output in ~ContextObj under a conditional. Should fix most of th...Christopher L. Conway
2010-04-14Marging from types 404:415, changes: MassiveDejan Jovanović
2010-04-09added experimental "make lcov" target (it runs only unit tests); better cover...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-04-01PARSER STUFF:Morgan Deters
2010-03-30Removing unnecessary .gitignoresChristopher L. Conway
2010-03-30Merging from branches/antlr3 (r246:354)Christopher L. Conway
2010-03-30I think this finishes off the CDMap<>/Attribute leaksMorgan Deters
2010-03-23Documented that ContextObj::destroy() only restores back to context level 0.Clark Barrett
2010-03-23Fixed some memory cleanup and destruction issues with ContextObj, ECData, CDL...Tim King
2010-03-13Fix for bug 45Clark Barrett
2010-03-12* src/context/cdmap.h: rename orderedIterator to iterator, do awayMorgan Deters
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-02-28* context.h - Changed cdlist::push_back to use a new copy constructor instead...Dejan Jovanović
2010-02-26* test/unit/context/context_black.h: Test CDList<>. In particular,Morgan Deters
2010-02-26Fixed a bug in CDList reallocation. (Also corrected a couple whitespace probl...Tim King
2010-02-22* configure.ac: Remove doc/ from search path for Makefile.amsMorgan Deters
2010-02-17Initial draft of TheoryUF. Should compile without problems. A decent amount o...Tim King
2010-02-10Added calls to destructor in CDList plus optional flag to disable.Clark Barrett
2010-02-08Moving the template stuff back into the header in order to use CDList.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-02Fixed bug in context codeClark Barrett
2010-02-02beginings of test for CDO. one failDejan Jovanović
2010-02-02Fixed compile errorsClark Barrett
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback