projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1aee1f4) | patch
Clear options manager (#6991)
authorGereon Kremer <nafur42@gmail.com>
Fri, 6 Aug 2021 01:18:49 +0000 (18:18 -0700)
committerGitHub <noreply@github.com>
Fri, 6 Aug 2021 01:18:49 +0000 (01:18 +0000)
commite04248ec858c97b8d716796f87ed42078a953967
tree2a984366987435c072d1d2eb58acc945ec70f561tree
parent1aee1f42fec34159ef53ab0ad4ac5c6697f38f14commit | diff
Clear options manager (#6991)

This PR moves the remaining responsibilities from the options manager into option predicates. They belong there anyway, given that this code shall be executed immediately when an option is set. This also allows to remove the infrastructure for an options listener.
src/options/base_options.toml diff | blob | history
src/options/expr_options.toml diff | blob | history
src/options/mkoptions.py diff | blob | history
src/options/options_handler.cpp diff | blob | history
src/options/options_handler.h diff | blob | history
src/options/options_public_template.cpp diff | blob | history
src/options/options_template.cpp diff | blob | history
src/options/options_template.h diff | blob | history
src/options/smt_options.toml diff | blob | history
src/smt/options_manager.cpp diff | blob | history