projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 229ab1a) | patch
Add "no trash" CDMap elements, so that CDMap elements can themselves
authorMorgan Deters <mdeters@gmail.com>
Tue, 17 Aug 2010 05:06:09 +0000 (05:06 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 17 Aug 2010 05:06:09 +0000 (05:06 +0000)
commitdaf715e2ccb53bd88c6f374840b5d41e72c61c90
treed868168b9ae9fc6fd4797f361d3596e3bd3197fctree
parent229ab1aca6e89315a07899b093951d8f4f9d0c02commit | diff
Add "no trash" CDMap elements, so that CDMap elements can themselves
be allocated in context memory.  CDMap black-box test extended.
src/context/cdmap.h diff | blob | history
test/unit/context/cdmap_black.h diff | blob | history