projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f5452c4) | patch
Eliminate SmtSolver dependency on SolverEngineState (#8581)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 7 Apr 2022 13:07:39 +0000 (08:07 -0500)
committerGitHub <noreply@github.com>
Thu, 7 Apr 2022 13:07:39 +0000 (13:07 +0000)
commite51c4d62523d160058f0f06cb15fef75771f3ceb
treeddcd43c6734d10415226d982eb836df549ef4bc9tree
parentf5452c401c82b84250e498e27c0383b928ef13decommit | diff
Eliminate SmtSolver dependency on SolverEngineState (#8581)

This is in preparation for making SmtSolver able to be deep reset (reconstructed) within in a SolverEngine instance.
src/proof/proof_checker.cpp diff | blob | history
src/proof/proof_checker.h diff | blob | history
src/smt/smt_solver.cpp diff | blob | history
src/smt/smt_solver.h diff | blob | history
src/smt/solver_engine.cpp diff | blob | history