projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 34ca2f2) | patch
(proof-new) Updates to CDProof (#4565)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 5 Jun 2020 20:52:30 +0000 (15:52 -0500)
committerGitHub <noreply@github.com>
Fri, 5 Jun 2020 20:52:30 +0000 (15:52 -0500)
commit5c4b9e1a6ffa97a0a1f8af41069f29764eb6c74b
treecadc54257f3246a76a91970bb5dfb5128211a6f5tree
parent34ca2f205a8b1b6c514640a0cdaeec173872c8f7commit | diff
(proof-new) Updates to CDProof (#4565)

This updates CDProof with several new functionalities, including making it agnostic to symmetry of (dis)equalites.
src/expr/proof.cpp diff | blob | history
src/expr/proof.h diff | blob | history
src/expr/proof_node_manager.cpp diff | blob | history
src/expr/proof_node_manager.h diff | blob | history