diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-10-21 21:21:42 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-21 21:21:42 -0500 |
commit | 0e7ebfa3ba5d5049c81b2c5ac113af62c35f5c64 (patch) | |
tree | c5a9d62c560592003f9fd0003faece8585c7c30a /src/preprocessing/passes/sep_skolem_emp.cpp | |
parent | a99f5aaa46702a4894aaddeed3a7ff5cbf69bdfd (diff) |
(proof-new) Make theory preprocessor user-context dependent (#5296)
Previously, theory preprocessing cache was manually cleared whenever the theory preprocess pass was run. However, proofs for theory preprocessing required to be alive for the remainder of the user context. This PR changes theory preprocessing so that both the cache and proofs in theory preprocessing are user-context dependent.
This PR also makes the theory preprocess pass proof producing.
Diffstat (limited to 'src/preprocessing/passes/sep_skolem_emp.cpp')
0 files changed, 0 insertions, 0 deletions