projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1de0246) | patch
More minor cleaning of options (#8401)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sat, 26 Mar 2022 01:53:51 +0000 (20:53 -0500)
committerGitHub <noreply@github.com>
Sat, 26 Mar 2022 01:53:51 +0000 (01:53 +0000)
commit4956453dda9d055a3fc4d65ffc964c7cf22d825b
tree90e2b6d8e4aee5fdc15018e4d5484ea89b41d275tree
parent1de0246d86704c2d3ec9ce18f50c4325bad9a273commit | diff
More minor cleaning of options (#8401)

Removes a few more unnecessary options and moves the location of one.
12 files changed:
src/options/printer_options.toml diff | blob | history
src/options/quantifiers_options.toml diff | blob | history
src/options/smt_options.toml diff | blob | history
src/options/uf_options.toml diff | blob | history
src/smt/set_defaults.cpp diff | blob | history
test/regress/cli/regress1/bug516.smt2 diff | blob | history
test/regress/cli/regress1/fmf/bound-int-alt.smt2 diff | blob | history
test/regress/cli/regress1/fmf/fmf-bound-int.smt2 diff | blob | history
test/regress/cli/regress1/fmf/ko-bound-set.cvc.smt2 diff | blob | history
test/regress/cli/regress1/ho/issue4065-no-rep.smt2 diff | blob | history
test/regress/cli/regress1/quantifiers/set-choice-koikonomou.cvc.smt2 diff | blob | history
test/regress/cli/regress2/sygus/issue4022-conjecture-gen.smt2 diff | blob | history