projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 978f455) | patch
(proof-new) Update proof checker. (#4511)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 26 May 2020 15:27:45 +0000 (10:27 -0500)
committerGitHub <noreply@github.com>
Tue, 26 May 2020 15:27:45 +0000 (10:27 -0500)
commit7da96102de1894fb96eccec5315234d7c441f017
tree51d19a6c355fc720b8b8a5af55902501dd3dda08tree
parent978f45596117f815fee943edceb9f8edf9c26c32commit | diff
(proof-new) Update proof checker. (#4511)

This adds new required features to proof checker and the base class of proof rule checker.

This is required as the first dependency towards merging further infrastructure related to proofs.
src/expr/proof_checker.cpp diff | blob | history
src/expr/proof_checker.h diff | blob | history