projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 24710c2) | patch
(proof-new) Fixes for getFreeAssumptions (#4802)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 30 Jul 2020 01:15:44 +0000 (20:15 -0500)
committerGitHub <noreply@github.com>
Thu, 30 Jul 2020 01:15:44 +0000 (20:15 -0500)
commitf5eb204df574d8f680e802601ca279f82eaf0146
tree8d92e66d81fb0d024a459a04653bd0cfb54e4427tree
parent24710c2f7f754cd8297409f82b5cb0789e16ee18commit | diff
(proof-new) Fixes for getFreeAssumptions (#4802)

Free assumptions weren't getting cleaned up due to not doing a postorder traversal. This issue came up when doing subproof sharing involving SCOPE proofs.
src/expr/proof_node_algorithm.cpp diff | blob | history