projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 53b3cf6) | patch
(proof-new) Generalize preprocess proof generator (#5245)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 14 Oct 2020 03:23:38 +0000 (22:23 -0500)
committerGitHub <noreply@github.com>
Wed, 14 Oct 2020 03:23:38 +0000 (22:23 -0500)
commit4f5abe126235843cf17e83c7e1e29c91225573ca
treef0e49ee9bb19bb3b9077cf8f0ef34b5d62dfdf06tree
parent53b3cf646549200e4986a47872abf6121fcbfe5bcommit | diff
(proof-new) Generalize preprocess proof generator (#5245)

This class is of general use, not just as the overall maintainer of proofs of preprocessing, but also locally within preprocessing passes. This generalizes the interface slightly and also does some minor cleaning.
src/smt/preprocess_proof_generator.cpp diff | blob | history
src/smt/preprocess_proof_generator.h diff | blob | history
src/smt/proof_manager.cpp diff | blob | history