projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9803bed) | patch
Remove local theory extension option (#4048)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 12 Mar 2020 20:25:06 +0000 (15:25 -0500)
committerGitHub <noreply@github.com>
Thu, 12 Mar 2020 20:25:06 +0000 (15:25 -0500)
commit920343a4a5586297dd98305b83785207025083b8
tree8c62326ddf5b2ff3c155b8c8eb9f1c863a917b7etree
parent9803bedfdfe42bf472654ed8e11bcc888de5df67commit | diff
Remove local theory extension option (#4048)

This option was unimplemented and was equivalent to setting the instantiation level of all quantified formulas to 0.
src/options/quantifiers_options.toml diff | blob | history
src/smt/smt_engine.cpp diff | blob | history