projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 098cee0) | patch
(proof-new) Updates to lazy proof chain (#5317)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 21 Oct 2020 14:28:38 +0000 (09:28 -0500)
committerGitHub <noreply@github.com>
Wed, 21 Oct 2020 14:28:38 +0000 (09:28 -0500)
commitcbd61aa8ee07e10846a3e69ea4ba4e42f0a16394
tree52a7a273378b9410492656e744dec0b5241ba864tree
parent098cee0ea412e24e24caa79307e2950a640279afcommit | diff
(proof-new) Updates to lazy proof chain (#5317)

Support for a default proof generator, which is optionally not called recursively.

This is required for preprocessing.
src/expr/lazy_proof_chain.cpp diff | blob | history
src/expr/lazy_proof_chain.h diff | blob | history