projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5b05e46) | patch
Add proof checker for nl tangent lemma (#5704)
authorGereon Kremer <gkremer@stanford.edu>
Fri, 18 Dec 2020 15:25:06 +0000 (16:25 +0100)
committerGitHub <noreply@github.com>
Fri, 18 Dec 2020 15:25:06 +0000 (16:25 +0100)
commit879bc5c29cbfc8ebcfe69fcc9316dfdb1361ff1f
tree8c94fbefa9506f140801e72aba27e2421198382ftree
parent5b05e467710e07bbfa27d4a2417ec27b336c245dcommit | diff
Add proof checker for nl tangent lemma (#5704)

This PR is a follow-up to #5700 which lacked the proof checker for the proof that was added for nonlinear tangent plane lemmas.
src/theory/arith/nl/ext/proof_checker.cpp diff | blob | history