projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d7dc811) | patch
Simplify theory preprocessing (#6058)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 8 Mar 2021 16:50:39 +0000 (10:50 -0600)
committerGitHub <noreply@github.com>
Mon, 8 Mar 2021 16:50:39 +0000 (10:50 -0600)
commit4a5a4ab5d7b4751ce0d730a2cff6678aa64b3306
treee741dbc609e7f052530bd6f44a976b6c15017fdetree
parentd7dc81173107bf65b9a90e163a1e85ce7b3c20ffcommit | diff
Simplify theory preprocessing (#6058)

Theory preprocessing now theory-preprocesses lemmas until fixed point. This eliminates the old code for rewriting them only, which is no longer necessary as theory-preprocessing subsumes rewriting.
src/theory/theory_preprocessor.cpp diff | blob | history