projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e9f0e4d) | patch
(proof-new) Change merge policy for proof node updater (#5242)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 13 Oct 2020 22:18:02 +0000 (17:18 -0500)
committerGitHub <noreply@github.com>
Tue, 13 Oct 2020 22:18:02 +0000 (17:18 -0500)
commit4ae747b98f58c61f95770aa7d2bec818d486433b
tree92040a2c570f0a24e5d8b80bc47e197c944986f9tree
parente9f0e4d473fe4415a93b889561656e2148fdd97fcommit | diff
(proof-new) Change merge policy for proof node updater (#5242)

This updates the proof node updater with a mergeSubproofs field which automatically merges subproofs in the same SCOPE that prove the same thing. This is currently enabled by default, it is now configurable and disabled by default.
src/expr/proof_node_updater.cpp diff | blob | history
src/expr/proof_node_updater.h diff | blob | history