projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 999b496) | patch
revert a workaround fix to CDMap that was committed as part of the arith-indexed...
authorMorgan Deters <mdeters@gmail.com>
Sat, 2 Oct 2010 23:53:18 +0000 (23:53 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sat, 2 Oct 2010 23:53:18 +0000 (23:53 +0000)
commit036a23f59bbc23343dc690fd1e147541e79e9b9e
tree697cac1b21e1826b7798b69dce7f4480a26e8f77tree
parent999b496fbf50525b7245ee28e972d7f0f04a1025commit | diff
revert a workaround fix to CDMap that was committed as part of the arith-indexed-vars merge, and fix the root cause (maybe?) in attribute.cpp: previously, items from the cdnodes attribute table weren't properly being "obliterated" from the table due to a typo
src/context/cdmap.h diff | blob | history
src/expr/attribute.cpp diff | blob | history
src/expr/attribute.h diff | blob | history