projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d7bcc38) | patch
Minor cleanup of proof messages (#7494)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 29 Oct 2021 18:33:30 +0000 (13:33 -0500)
committerGitHub <noreply@github.com>
Fri, 29 Oct 2021 18:33:30 +0000 (18:33 +0000)
commit1ef32585ddcf873805a7163bc266abaf10c7acd8
treeba51dafa3f2232b802e9ed801dd762c66e3dac8dtree
parentd7bcc389882cd6e13e9d330c57640d50f4d90d45commit | diff
Minor cleanup of proof messages (#7494)

Also deletes unused code encountered in TheoryArrays while investigating cyclic proofs.
src/proof/proof_ensure_closed.h diff | blob | history
src/proof/proof_node_algorithm.cpp diff | blob | history
src/proof/proof_node_to_sexpr.cpp diff | blob | history
src/proof/proof_node_updater.cpp diff | blob | history
src/theory/arrays/theory_arrays.cpp diff | blob | history
src/theory/arrays/theory_arrays.h diff | blob | history