projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 973482b) | patch
Remove "experimental" options (#7124)
authorGereon Kremer <nafur42@gmail.com>
Fri, 3 Sep 2021 00:42:00 +0000 (17:42 -0700)
committerGitHub <noreply@github.com>
Fri, 3 Sep 2021 00:42:00 +0000 (00:42 +0000)
commit3f233b1978e10dcb553662f27ec8a4f250c89071
tree01296ed32944b3054737862e289ea284cc4238d7tree
parent973482b6da11d37a8aee96b98758f091f02008e5commit | diff
Remove "experimental" options (#7124)

This PR changes all options from experimental to expert and adds a check that only the well-defined option categories are used (common, regular, expert, undocumented).
src/options/arrays_options.toml diff | blob | history
src/options/bv_options.toml diff | blob | history
src/options/datatypes_options.toml diff | blob | history
src/options/fp_options.toml diff | blob | history
src/options/mkoptions.py diff | blob | history
src/options/smt_options.toml diff | blob | history