projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a657bb5) | patch
[proofs] Make cache (optionally) persistent in lazy CD proof (#8104)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 16 Feb 2022 17:42:57 +0000 (11:42 -0600)
committerGitHub <noreply@github.com>
Wed, 16 Feb 2022 17:42:57 +0000 (17:42 +0000)
commit87937a8e7410d2222d40c209a550abb3f62dc962
tree6d6bdf97f6718109ec63eba7fb8b4d9afdb3e297tree
parenta657bb589acc5b994b911e6f48b413e85aee6bc1commit | diff
[proofs] Make cache (optionally) persistent in lazy CD proof (#8104)

Should address severe performance issues in some use cases of proofs.
src/proof/lazy_proof.cpp diff | blob | history
src/proof/lazy_proof.h diff | blob | history