summaryrefslogtreecommitdiff
path: root/src/context/cdlist.h
AgeCommit message (Expand)Author
2012-04-17Merges branches/arithmetic/atom-database r2979 through 3247 into trunk. Belo...Tim King
2012-04-02- Merged in the branch cdlist-cleanup.Tim King
2012-03-02Renamed CDQueue to CDTrailQueue and CDQueue2 to CDQueue. Small changes to fun...Tim King
2012-03-01cdqueue2 : cdlist that can be used like queue and can delete element that wil...François Bobot
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-06-18Some fixes inspired by Fedora 15:Morgan Deters
2010-10-12Merge from cc-memout branch. Here are the main pointsMorgan Deters
2010-10-05parser and core support for SMT-LIBv2 commands get-info, set-option, get-opti...Morgan Deters
2010-07-08context work to support cdmaps with elements allocated in context memoryMorgan Deters
2010-06-04** Don't fear the files-changed list, almost all changes are in the **Morgan Deters
2010-04-09added experimental "make lcov" target (it runs only unit tests); better cover...Morgan Deters
2010-04-01reran update-copyright.pl to get new contributors and add new header comments...Morgan Deters
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-05* public/private code untangled (smt/smt_engine.h no longer #includesMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback