projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dfdcc4c) | patch
Eliminate more static calls to Rewriter::rewrite (#7740)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 7 Dec 2021 14:56:12 +0000 (08:56 -0600)
committerGitHub <noreply@github.com>
Tue, 7 Dec 2021 14:56:12 +0000 (14:56 +0000)
commit77415ff440424e1071c538f13ec1684feffad7d6
treec2e2dff9044952781bf2a01abac36298c7b2d57etree
parentdfdcc4c68d8716b4587fd0316818c319ef7cff20commit | diff
Eliminate more static calls to Rewriter::rewrite (#7740)
19 files changed:
src/preprocessing/passes/apply_substs.cpp diff | blob | history
src/preprocessing/passes/non_clausal_simp.cpp diff | blob | history
src/smt/abduction_solver.cpp diff | blob | history
src/smt/check_models.cpp diff | blob | history
src/smt/interpolation_solver.cpp diff | blob | history
src/smt/preprocessor.cpp diff | blob | history
src/smt/solver_engine.cpp diff | blob | history
src/theory/quantifiers/cegqi/inst_strategy_cegqi.cpp diff | blob | history
src/theory/quantifiers/cegqi/vts_term_cache.cpp diff | blob | history
src/theory/quantifiers/cegqi/vts_term_cache.h diff | blob | history
src/theory/quantifiers/quantifiers_rewriter.cpp diff | blob | history
src/theory/quantifiers/single_inv_partition.cpp diff | blob | history
src/theory/quantifiers/skolemize.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_abduct.cpp diff | blob | history
src/theory/substitutions.cpp diff | blob | history
src/theory/substitutions.h diff | blob | history
src/theory/theory_model.cpp diff | blob | history
src/theory/trust_substitutions.cpp diff | blob | history
src/theory/trust_substitutions.h diff | blob | history