projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8210a5e) | patch
Update theory preprocessor to use Env (#7288)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 1 Oct 2021 21:47:02 +0000 (16:47 -0500)
committerGitHub <noreply@github.com>
Fri, 1 Oct 2021 21:47:02 +0000 (21:47 +0000)
commit6405f082a85e2a2ce7e25ff1f8b058f3f42fd58b
treea54e2fdbc4b975cd0dced9b10f8d8477fcaab59atree
parent8210a5ebefd4cc0779d7968e891db5bc63dba545commit | diff
Update theory preprocessor to use Env (#7288)

In preparation for making the "lemma context" configurable.
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