projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: df3ffb3) | patch
bv: Refactor ppAssert and move to TheoryBV. (#6470)
authorMathias Preiner <mathias.preiner@gmail.com>
Fri, 30 Apr 2021 22:15:44 +0000 (15:15 -0700)
committerGitHub <noreply@github.com>
Fri, 30 Apr 2021 22:15:44 +0000 (22:15 +0000)
commit839f64ea1f065415268bdb2bfe518ad727ed2a40
treef8bbaed23e5e15167ddb68f7097d904d6d05aa89tree
parentdf3ffb33b8173f252b7720d27aa0204e8ff3632ecommit | diff
bv: Refactor ppAssert and move to TheoryBV. (#6470)

This PR refactors ppAssert from the lazy BV solver and moves it to TheoryBV.
src/theory/bv/bv_solver.h diff | blob | history
src/theory/bv/bv_solver_bitblast.h diff | blob | history
src/theory/bv/bv_solver_lazy.cpp diff | blob | history
src/theory/bv/bv_solver_lazy.h diff | blob | history
src/theory/bv/bv_solver_simple.h diff | blob | history
src/theory/bv/theory_bv.cpp diff | blob | history
src/theory/bv/theory_bv.h diff | blob | history