projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f9d3552) | patch
- Merged in the branch cdlist-cleanup.
authorTim King <taking@cs.nyu.edu>
Mon, 2 Apr 2012 20:56:55 +0000 (20:56 +0000)
committerTim King <taking@cs.nyu.edu>
Mon, 2 Apr 2012 20:56:55 +0000 (20:56 +0000)
commit1a558a30bec496444742ed75c0a6973d9789daf7
tree81d5f4aedc3a320c4b95945c71a1e3cf0d8e88aftree
parentf9d3552033d8214c833b58ed54d99c836de4ce37commit | diff
- Merged in the branch cdlist-cleanup.
- This adds a CleanUp template argument to CDList.
- CDChunkList<T> replaces the CDList specialization for ContextMemoryAllocator.
- CDVector<T> has been simplified and improved.
- The expected performance impact is negligible.
14 files changed:
src/context/cdchunk_list.h [new file with mode: 0644] blob
src/context/cdlist.h diff | blob | history
src/context/cdlist_context_memory.h [deleted file] blob | history
src/context/cdlist_forward.h diff | blob | history
src/context/cdqueue.h diff | blob | history
src/context/cdvector.h diff | blob | history
src/theory/arith/partial_model.h diff | blob | history
src/theory/arrays/theory_arrays.h diff | blob | history
src/theory/datatypes/theory_datatypes.h diff | blob | history
src/util/congruence_closure.h diff | blob | history
test/unit/context/cdlist_black.h diff | blob | history
test/unit/context/cdlist_context_memory_black.h diff | blob | history
test/unit/context/cdmap_black.h diff | blob | history
test/unit/context/cdvector_black.h diff | blob | history