projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9dd4f07) | patch
bv: Use EnvObj::rewrite() and EnvObj::options() in NodeBitblaster. (#7172)
authorMathias Preiner <mathias.preiner@gmail.com>
Fri, 10 Sep 2021 17:58:35 +0000 (10:58 -0700)
committerGitHub <noreply@github.com>
Fri, 10 Sep 2021 17:58:35 +0000 (17:58 +0000)
commit978f295178a2e70e16aca2ce2b951cc9afe2be40
treeb69bbc208146674655e62a18359e91d942c2712dtree
parent9dd4f07a560c4d4b44b81bd021466966d3b494e9commit | diff
bv: Use EnvObj::rewrite() and EnvObj::options() in NodeBitblaster. (#7172)

This PR is based on #7171
src/smt/proof_post_processor.cpp diff | blob | history
src/theory/bv/bitblast/node_bitblaster.cpp diff | blob | history
src/theory/bv/bitblast/node_bitblaster.h diff | blob | history
src/theory/bv/bitblast/proof_bitblaster.cpp diff | blob | history
src/theory/bv/bitblast/proof_bitblaster.h diff | blob | history
src/theory/bv/bv_solver_bitblast.cpp diff | blob | history
src/theory/bv/bv_solver_bitblast_internal.cpp diff | blob | history