projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 94334c4) | patch
Simplify term formula removal interface (#5695)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 17 Dec 2020 15:19:20 +0000 (09:19 -0600)
committerGitHub <noreply@github.com>
Thu, 17 Dec 2020 15:19:20 +0000 (16:19 +0100)
commitbdcb62974f553acd47fdb04f8d95725489328139
tree0a897f78b62361bcc52bd9328f8fe349d86a3cd2tree
parent94334c412be47c1555e52d9e20a6ff5e18817249commit | diff
Simplify term formula removal interface (#5695)

This no longer needs some methods that were previously used specifically for ITE preprocessing and check-model.
src/smt/term_formula_removal.cpp diff | blob | history
src/smt/term_formula_removal.h diff | blob | history