projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5e96924) | patch
rewriter: Make clearCaches non-static. (#7100)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 1 Sep 2021 00:35:58 +0000 (17:35 -0700)
committerGitHub <noreply@github.com>
Wed, 1 Sep 2021 00:35:58 +0000 (00:35 +0000)
commit068a0aa316f3760b401d900d39101955ba66b6c2
tree78f7da88e0040dade1da7033bb4d98f5bb8a23d3tree
parent5e969241cd3bdec90138edb5d1c88d3e1797cb43commit | diff
rewriter: Make clearCaches non-static. (#7100)

This works towards getting rid of SmtEngine::currentSmtEngine and
closing #3468.
src/preprocessing/passes/ite_simp.cpp diff | blob | history
src/preprocessing/preprocessing_pass_context.cpp diff | blob | history
src/preprocessing/preprocessing_pass_context.h diff | blob | history
src/theory/rewriter.cpp diff | blob | history
src/theory/rewriter.h diff | blob | history