projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 671dc49) | patch
[proofs] Alethe: Add ALETHE_RULE to builtin proof checker (#8409)
authorLachnitt <lachnitt@stanford.edu>
Mon, 28 Mar 2022 18:44:44 +0000 (11:44 -0700)
committerGitHub <noreply@github.com>
Mon, 28 Mar 2022 18:44:44 +0000 (18:44 +0000)
commit7c794bd260cd2d6d2660f3137b79ee23a26106f7
tree62fc92fd77da6126d40ffe47165b1e08ac97962atree
parent671dc49883743c7286dcbec13fd1b2a2ec17f932commit | diff
[proofs] Alethe: Add ALETHE_RULE to builtin proof checker (#8409)

Proofs would fail because the internal proof checker would return null and the alethe check is not trusted.
src/theory/builtin/proof_checker.cpp diff | blob | history