projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc9155e) | patch
Add containsAssumption proof utility (#6953)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 4 Aug 2021 18:58:14 +0000 (13:58 -0500)
committerGitHub <noreply@github.com>
Wed, 4 Aug 2021 18:58:14 +0000 (18:58 +0000)
commit6db55eeefaf15f8aa1c08a73ad2a589da443cdc0
tree74a98bbe211dbe44827a9e2e2247c6836be99d1ftree
parentcc9155e74a4c7fbbf66f736e0d6f67499329ba69commit | diff
Add containsAssumption proof utility (#6953)

Work towards making our policy for subproof merging safer.
src/proof/proof_node_algorithm.cpp diff | blob | history
src/proof/proof_node_algorithm.h diff | blob | history