projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6411f92) | patch
(proof-new) Improve debugging infrastructure for open proofs (#4984)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 3 Sep 2020 00:13:54 +0000 (19:13 -0500)
committerGitHub <noreply@github.com>
Thu, 3 Sep 2020 00:13:54 +0000 (19:13 -0500)
commit4e6eb0a191ec78cbebd842f9c732ef9bd76bd724
tree5669900ec03a3bf165fe8ccf3d28a08e4971b54dtree
parent6411f92760a9116dec7e3390dd1d2f1bd8566e94commit | diff
(proof-new) Improve debugging infrastructure for open proofs (#4984)

This includes more versions of checking whether a proof node is closed and standardizing output.
src/expr/proof_generator.cpp diff | blob | history
src/expr/proof_generator.h diff | blob | history
src/expr/proof_node_manager.cpp diff | blob | history