projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d2ee68) | patch
Add new interfaces to term formula removal and theory preprocess (#5717)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 6 Jan 2021 01:40:12 +0000 (19:40 -0600)
committerGitHub <noreply@github.com>
Wed, 6 Jan 2021 01:40:12 +0000 (19:40 -0600)
commitc32c2c5f5203fff6d4982755e3784f6f2f315b3b
treeeffbd75543b4004c4080814a2e8e435243f67c82tree
parent2d2ee68b75d1fd3ea0d523b44815d2dc63529e54commit | diff
Add new interfaces to term formula removal and theory preprocess (#5717)

This is in preparation for lazy lemmas for term formula removal.
src/prop/theory_proxy.cpp diff | blob | history
src/smt/term_formula_removal.cpp diff | blob | history
src/smt/term_formula_removal.h diff | blob | history
src/theory/theory_preprocessor.cpp diff | blob | history
src/theory/theory_preprocessor.h diff | blob | history