projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3d44636) | patch
Use traversal iterators in IntToBv (#4169)
authorAlex Ozdemir <aozdemir@hmc.edu>
Sat, 20 Jun 2020 05:45:32 +0000 (22:45 -0700)
committerGitHub <noreply@github.com>
Sat, 20 Jun 2020 05:45:32 +0000 (22:45 -0700)
commit3bc4a541b6c3a35fae987cc068e0e01937d5c4b1
tree56f19ac241b31904cf52f46c60c1798fadc4c18ftree
parent3d44636a3080831bd8ea4c6b2d4f60adf6b37e9dcommit | diff
Use traversal iterators in IntToBv (#4169)

This commit rips the traversal machinery out of Int-to-Bv, replacing it with traversal iterators.

Also, cleaned `childrenTypesChanged` a bit.

While basically I just cut out some lines, the diff is rather messy (I think the diffing tool doesn't like indentation changes).
src/expr/node_traversal.cpp diff | blob | history
src/expr/node_traversal.h diff | blob | history
src/preprocessing/passes/int_to_bv.cpp diff | blob | history
test/unit/expr/node_traversal_black.h diff | blob | history