projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b87ce3) | patch
(proof-new) Adding API for converting EqProof into ProofNode (#4747)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Thu, 16 Jul 2020 00:40:01 +0000 (21:40 -0300)
committerGitHub <noreply@github.com>
Thu, 16 Jul 2020 00:40:01 +0000 (21:40 -0300)
commit699af1774b7ddae0b1a8337cb4cd02532a6ad8b0
tree34eb776155ece4e534aa8279857185bb0a4f80c7tree
parent3b87ce3ab67fd463a733ad11402e32f94eb1017ecommit | diff
(proof-new) Adding API for converting EqProof into ProofNode (#4747)

Also puts EqProof into its own module. Next will come the implementation of the API.
src/CMakeLists.txt diff | blob | history
src/theory/uf/eq_proof.cpp [new file with mode: 0644] blob
src/theory/uf/eq_proof.h [new file with mode: 0644] blob
src/theory/uf/equality_engine.cpp diff | blob | history
src/theory/uf/equality_engine.h diff | blob | history