projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0cccfea) | patch
(proof-new) Extensions to proof checker interface (#4857)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 12 Aug 2020 02:06:17 +0000 (21:06 -0500)
committerGitHub <noreply@github.com>
Wed, 12 Aug 2020 02:06:17 +0000 (21:06 -0500)
commit1c06ccdb1228fc7ef14440e1f29cf016cf5756c9
treed716c76392dbf6603c8dc1b3b107aece77404d20tree
parent0cccfea1233b918c18ec2e1268fd786983074261commit | diff
(proof-new) Extensions to proof checker interface (#4857)

This includes support for pedantic levels, as well as a utility for wrapping Kind in a Node (for the updated CONG rule, to be updated in a later PR).
src/expr/proof_checker.cpp diff | blob | history
src/expr/proof_checker.h diff | blob | history
src/options/smt_options.toml diff | blob | history