projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a318303) | patch
Make Rewriter::rewrite non-static (#8828)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 27 May 2022 15:53:07 +0000 (10:53 -0500)
committerGitHub <noreply@github.com>
Fri, 27 May 2022 15:53:07 +0000 (10:53 -0500)
commit52bdeff9adb7ebaaf54dec3232f7b896f86e9834
treeaac5d75dfadb89cc269e3cbb63814919550348batree
parenta318303646773b10d0f7ef1387d78e0aa29b6adecommit | diff
Make Rewriter::rewrite non-static (#8828)

This furthermore eliminates smt::currentSolverEngine.
18 files changed:
src/preprocessing/preprocessing_pass.cpp diff | blob | history
src/smt/listeners.cpp diff | blob | history
src/smt/solver_engine_scope.cpp diff | blob | history
src/smt/solver_engine_scope.h diff | blob | history
src/theory/evaluator.cpp diff | blob | history
src/theory/rewriter.cpp diff | blob | history
src/theory/rewriter.h diff | blob | history
test/unit/preprocessing/pass_bv_gauss_white.cpp diff | blob | history
test/unit/theory/regexp_operation_black.cpp diff | blob | history
test/unit/theory/strings_rewriter_white.cpp diff | blob | history
test/unit/theory/theory_arith_white.cpp diff | blob | history
test/unit/theory/theory_bags_rewriter_white.cpp diff | blob | history
test/unit/theory/theory_black.cpp diff | blob | history
test/unit/theory/theory_bv_int_blaster_white.cpp diff | blob | history
test/unit/theory/theory_bv_rewriter_white.cpp diff | blob | history
test/unit/theory/theory_engine_white.cpp diff | blob | history
test/unit/theory/theory_sets_rewriter_white.cpp diff | blob | history
test/unit/theory/theory_sets_type_enumerator_white.cpp diff | blob | history