projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1bf4557) | patch
Make some undocumented options regular/expert (#7805)
authorGereon Kremer <gkremer@stanford.edu>
Tue, 14 Dec 2021 21:14:48 +0000 (13:14 -0800)
committerGitHub <noreply@github.com>
Tue, 14 Dec 2021 21:14:48 +0000 (21:14 +0000)
commit9ef7cc3520344901a704bda018cd1783ebc18d06
tree5d055296b48f881a0c7ea473e619837c08ae9d2ctree
parent1bf45579ff7a4af921bb3db159e371623a4bfd63commit | diff
Make some undocumented options regular/expert (#7805)

We have some options that are currently "undocumented" for no good reason.
This PR makes them regular or expert options.
src/options/README.md diff | blob | history
src/options/base_options.toml diff | blob | history
src/options/parser_options.toml diff | blob | history
src/options/smt_options.toml diff | blob | history