projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a673f93) | patch
Clean options handlers (#7201)
authorGereon Kremer <nafur42@gmail.com>
Fri, 1 Oct 2021 20:40:05 +0000 (13:40 -0700)
committerGitHub <noreply@github.com>
Fri, 1 Oct 2021 20:40:05 +0000 (20:40 +0000)
commitb261b0a6031dee3210e569f75f8abdac35b7091c
tree765138ffac47751431d25aaad4b8feb4fb680839tree
parenta673f93d1fe80c5a3198d586fd73f08c92246bebcommit | diff
Clean options handlers (#7201)

Some cleanup on the option handlers, starting with handlers for base and main options.
src/main/driver_unified.cpp diff | blob | history
src/main/options.h diff | blob | history
src/main/options_template.cpp diff | blob | history
src/options/base_options.toml diff | blob | history
src/options/main_options.toml diff | blob | history
src/options/options_handler.cpp diff | blob | history
src/options/options_handler.h diff | blob | history
src/options/quantifiers_options.toml diff | blob | history