projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 36b9c04) | patch
Provide a non-traversal interface to term formula removal (#7328)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 12 Oct 2021 16:24:40 +0000 (11:24 -0500)
committerGitHub <noreply@github.com>
Tue, 12 Oct 2021 16:24:40 +0000 (16:24 +0000)
commit6094c2e2e43d2e6716f35689654d4915a6a1f4fc
tree6166e28729b25f4ec9d0ef351bf836c0ef31c5adtree
parent36b9c04591067491854cb1d4caaf391572357375commit | diff
Provide a non-traversal interface to term formula removal (#7328)

Towards making theory preprocessing a single pass.
src/smt/term_formula_removal.cpp diff | blob | history
src/smt/term_formula_removal.h diff | blob | history