projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 399c2b4) | patch
remove options that are no longer used (#7197)
authorGereon Kremer <nafur42@gmail.com>
Wed, 15 Sep 2021 17:06:51 +0000 (19:06 +0200)
committerGitHub <noreply@github.com>
Wed, 15 Sep 2021 17:06:51 +0000 (12:06 -0500)
commitf416c8803e4af59a99823a76bb8279a303ab2efb
tree39849508386864ecc1c0c2400fc31fd9200ff9c9tree
parent399c2b4fd86962a3cfb63be09d79855346d0d610commit | diff
remove options that are no longer used (#7197)

This PR removes a handful of options that are no longer used anywhere.
src/options/arith_options.toml diff | blob | history
src/options/arrays_options.toml diff | blob | history
src/options/bv_options.toml diff | blob | history
src/options/didyoumean_test.cpp diff | blob | history
src/options/printer_options.toml diff | blob | history
src/options/quantifiers_options.toml diff | blob | history
src/options/sep_options.toml diff | blob | history
src/options/smt_options.toml diff | blob | history
src/options/strings_options.toml diff | blob | history
src/options/uf_options.toml diff | blob | history