projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: de0d36b) | patch
(proof-new) Replace LazyCDProofSet by generic CDProofSet (#5487)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Fri, 20 Nov 2020 19:04:37 +0000 (20:04 +0100)
committerGitHub <noreply@github.com>
Fri, 20 Nov 2020 19:04:37 +0000 (13:04 -0600)
commit20007b739555fe27a6600fcb4d156173bcc0eee3
treeac5b25d48fe713e0ab35839b7480d86a8cb1c2e1tree
parentde0d36b8972954c281f1e97b15d37c07a861cbc1commit | diff
(proof-new) Replace LazyCDProofSet by generic CDProofSet (#5487)

This PR replaces the LazyCDProofSet, that was hardcoded to use LazyCDProof objects, by a templated CDProofSet.
src/expr/CMakeLists.txt diff | blob | history
src/expr/lazy_proof_set.cpp [deleted file] blob | history
src/expr/lazy_proof_set.h [deleted file] blob | history
src/expr/proof_set.h [new file with mode: 0644] blob
src/smt/preprocess_proof_generator.cpp diff | blob | history
src/smt/preprocess_proof_generator.h diff | blob | history
src/theory/trust_substitutions.cpp diff | blob | history
src/theory/trust_substitutions.h diff | blob | history