projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fa83354) | patch
Proof Rules and Checker for Arithmetic (#4665)
authorAlex Ozdemir <aozdemir@hmc.edu>
Sun, 28 Jun 2020 12:51:31 +0000 (05:51 -0700)
committerGitHub <noreply@github.com>
Sun, 28 Jun 2020 12:51:31 +0000 (07:51 -0500)
commitcb68fa0f7b096bf086a7c7189e40805253ef1acf
tree029c0d18cd3e9b0c722c852bb2d88255832e675dtree
parentfa833542f0e96187b3a02c4e15ec33ba45428b62commit | diff
Proof Rules and Checker for Arithmetic (#4665)

This PR introduces proof rules for arithmetic and their checker.

The code is dead, since these rules are never used.
src/expr/proof_rule.cpp diff | blob | history
src/expr/proof_rule.h diff | blob | history
src/theory/arith/proof_checker.cpp [new file with mode: 0644] blob
src/theory/arith/proof_checker.h [new file with mode: 0644] blob