projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e754655) | patch
Remove a few options (#4295)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 14 Apr 2020 20:27:33 +0000 (15:27 -0500)
committerGitHub <noreply@github.com>
Tue, 14 Apr 2020 20:27:33 +0000 (15:27 -0500)
commitc3f7c3c9203a355a9c45bf820e3fea0e29b439de
tree49de5974b1c7f46853e83c1b63c49bc1d989632btree
parente7546557861686126b86a94fe797701afb1be4cdcommit | diff
Remove a few options (#4295)

These options are not robust and are not used.

Fixes #4282 and fixes #4291.
src/options/quantifiers_options.toml diff | blob | history
src/options/strings_options.toml diff | blob | history
src/theory/quantifiers/fmf/full_model_check.cpp diff | blob | history
src/theory/quantifiers/fmf/model_builder.cpp diff | blob | history
src/theory/strings/inference_manager.cpp diff | blob | history