projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc5056c) | patch
(proof-new) Add lazy proof set utility (#5221)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 9 Oct 2020 00:34:12 +0000 (19:34 -0500)
committerGitHub <noreply@github.com>
Fri, 9 Oct 2020 00:34:12 +0000 (19:34 -0500)
commit4ea8a9e79566ab36a2bd52f2bed2cbc35e30947c
tree9ebb2f2fc581013f76f9050a4173b3f5a900bba4tree
parentbc5056c8927e8fbffbe9e9d103f0a81f8ab49480commit | diff
(proof-new) Add lazy proof set utility (#5221)

This is a common pattern that is required in several places in preprocessing.
src/expr/CMakeLists.txt diff | blob | history
src/expr/lazy_proof_set.cpp [new file with mode: 0644] blob
src/expr/lazy_proof_set.h [new file with mode: 0644] blob