projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b041ef) | patch
(proof-new) Option to not automatically consider symmetry in CDProof (#5895)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 12 Feb 2021 08:51:22 +0000 (02:51 -0600)
committerGitHub <noreply@github.com>
Fri, 12 Feb 2021 08:51:22 +0000 (09:51 +0100)
commitdd89a91a12afb86ae34497f2e8b2ebe95ec377a5
tree30a4bbd74b1eb527e47d8211432fc3d59914fa40tree
parent3b041eff6aea7ac17d47c968405a96a9e6c97680commit | diff
(proof-new) Option to not automatically consider symmetry in CDProof (#5895)

There are compelling use cases not to automatically introduce SYMM steps in CDProof, e.g. in CDProofs used within ProofNodeUpdater for external conversions.
src/expr/proof.cpp diff | blob | history
src/expr/proof.h diff | blob | history