projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2f30f5d) | patch
(proof-new) Add eager proof generator utility. (#4592)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 11 Jun 2020 00:44:33 +0000 (19:44 -0500)
committerGitHub <noreply@github.com>
Thu, 11 Jun 2020 00:44:33 +0000 (19:44 -0500)
commit40fd0e4c958b215a3eba9da17f6f194cacb021be
tree67a1cfdcf61b428a3754558bbb49af9651c52af0tree
parent2f30f5dc342fa19b42842d744034f53a1dee3f43commit | diff
(proof-new) Add eager proof generator utility. (#4592)

Adds the eager proof generator. This lives in theory/ since it has utilities for generating TrustNode, which is specific to theory/.
src/CMakeLists.txt diff | blob | history
src/theory/eager_proof_generator.cpp [new file with mode: 0644] blob
src/theory/eager_proof_generator.h [new file with mode: 0644] blob