projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b19d246) | patch
(proof-new) Adding rules and proof checker for EUF (#4559)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Wed, 3 Jun 2020 23:52:49 +0000 (20:52 -0300)
committerGitHub <noreply@github.com>
Wed, 3 Jun 2020 23:52:49 +0000 (18:52 -0500)
commit418b0281e62a6b657da32f6504965269ad90c18b
tree246d51e833789cf5620cdcb46d22bf57ff1b1000tree
parentb19d246d75be92a0189b9aaacc71426395b8c098commit | diff
(proof-new) Adding rules and proof checker for EUF (#4559)
src/CMakeLists.txt diff | blob | history
src/expr/node_manager.cpp diff | blob | history
src/expr/node_manager.h diff | blob | history
src/expr/proof_rule.cpp diff | blob | history
src/expr/proof_rule.h diff | blob | history
src/theory/uf/proof_checker.cpp [new file with mode: 0644] blob
src/theory/uf/proof_checker.h [new file with mode: 0644] blob