projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0b7ed19) | patch
Use NodeDfsIterable for makeBinary (#5595)
authorAlex Ozdemir <aozdemir@hmc.edu>
Fri, 4 Dec 2020 07:42:34 +0000 (23:42 -0800)
committerGitHub <noreply@github.com>
Fri, 4 Dec 2020 07:42:34 +0000 (08:42 +0100)
commit6741daaf587f7602c6dc23753361a405c28c7ef6
tree09d0f061dce84d5dc7349b6f38001bbcf405c16ctree
parent0b7ed19ab13a2bfa6278a0180768a9895aea9affcommit | diff
Use NodeDfsIterable for makeBinary (#5595)

Replaces the manual dag traversal in BVToInt::makeBinarywith NodeDfsIterable.

This is a subset of the changes in #4176, updated to apply to master.
src/preprocessing/passes/bv_to_int.cpp diff | blob | history