projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 42b8e0a) | patch
Make TheoryProxy use Env, simplify initialization of PropEngine (#7031)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 18 Aug 2021 20:13:21 +0000 (15:13 -0500)
committerGitHub <noreply@github.com>
Wed, 18 Aug 2021 20:13:21 +0000 (15:13 -0500)
commitdfd844226c4cc6c6d2af78ef6291b0a9d087f4d4
tree47853884475eefcdad531e6ea6edc274d63abcf1tree
parent42b8e0a4fc5b23dfce79cbadc08a8aa8542997e0commit | diff
Make TheoryProxy use Env, simplify initialization of PropEngine (#7031)

This simplifies our management of how/when proofs are enabled in the PropEngine.
src/prop/prop_engine.cpp diff | blob | history
src/prop/prop_engine.h diff | blob | history
src/prop/theory_proxy.cpp diff | blob | history
src/prop/theory_proxy.h diff | blob | history
src/smt/env.cpp diff | blob | history
src/smt/env.h diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/smt/smt_solver.cpp diff | blob | history
src/smt/smt_solver.h diff | blob | history