projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e968ea4) | patch
(proof-new) Proof node updater (#4647)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 2 Jul 2020 10:48:09 +0000 (05:48 -0500)
committerGitHub <noreply@github.com>
Thu, 2 Jul 2020 10:48:09 +0000 (05:48 -0500)
commit77b7103d7796e11c3ebf1d80e09355ed0587ffdc
treec5a889a1e172ae77b04509e2aac2e8ae78997875tree
parente968ea45fd46ce6837d50b2893568872378171f1commit | diff
(proof-new) Proof node updater (#4647)

Adds utility for updating proof nodes. The module for post-processing proof nodes in the SmtEngine for the sake of proof conversion to external formats will build on this utility.

Requires #4617.
src/expr/CMakeLists.txt diff | blob | history
src/expr/proof_node_updater.cpp [new file with mode: 0644] blob
src/expr/proof_node_updater.h [new file with mode: 0644] blob