projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d3a160d) | patch
Refactoring of proof manager initialization (#7073)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 7 Sep 2021 21:39:52 +0000 (16:39 -0500)
committerGitHub <noreply@github.com>
Tue, 7 Sep 2021 21:39:52 +0000 (21:39 +0000)
commite607ce390cff26aa14862b2f9c1da727d14cdf68
tree83a90659326cc6d483342575b603e12c22e004fftree
parentd3a160dee74b236cab32458fe8e5a3e653d28fafcommit | diff
Refactoring of proof manager initialization (#7073)

No longer takes a backwards reference to SmtEngine.

Also takes minor changes to proof post-processor from proof-new.
src/options/proof_options.toml diff | blob | history
src/smt/env.h diff | blob | history
src/smt/proof_manager.cpp diff | blob | history
src/smt/proof_manager.h diff | blob | history
src/smt/proof_post_processor.cpp diff | blob | history
src/smt/proof_post_processor.h diff | blob | history
src/smt/smt_engine.cpp diff | blob | history