projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2da2646) | patch
(proof-new) Theory proof step buffer utility (#4580)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 10 Jun 2020 21:52:46 +0000 (16:52 -0500)
committerGitHub <noreply@github.com>
Wed, 10 Jun 2020 21:52:46 +0000 (14:52 -0700)
commit356647c4b7eb2420f6c6b350f0622bb4c863b0a5
tree88f88d0c0cc573bcee6fa94732a70abc0d33657dtree
parent2da2646dd65e0458311a2dccfb04850c0b7d9e3ccommit | diff
(proof-new) Theory proof step buffer utility (#4580)

This is a common class for adding steps for theory-specific proof rules into a ProofStepBuffer.
src/CMakeLists.txt diff | blob | history
src/theory/builtin/proof_checker.cpp diff | blob | history
src/theory/builtin/proof_checker.h diff | blob | history
src/theory/theory_proof_step_buffer.cpp [new file with mode: 0644] blob
src/theory/theory_proof_step_buffer.h [new file with mode: 0644] blob