projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0fdf29b) | patch
(proof-new) Simplifications for proof rule checker interface (#5244)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 14 Oct 2020 00:50:19 +0000 (19:50 -0500)
committerGitHub <noreply@github.com>
Wed, 14 Oct 2020 00:50:19 +0000 (19:50 -0500)
commit53b3cf646549200e4986a47872abf6121fcbfe5b
treee33a7b9a1140c9196733b0917e18a8e8524d4683tree
parent0fdf29ba194b8f6763ae41bea05b3208345d89b9commit | diff
(proof-new) Simplifications for proof rule checker interface (#5244)

Some of the interfaces in the proof rule checker are unnecessary now and can be deleted.

This also updates STRING_TRUST to have pedantic level 2.
src/expr/proof_checker.cpp diff | blob | history
src/expr/proof_checker.h diff | blob | history
src/theory/builtin/proof_checker.cpp diff | blob | history
src/theory/strings/proof_checker.cpp diff | blob | history