projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c299e86) | patch
Properly consider aliases in option handlers (#6683)
authorGereon Kremer <nafur42@gmail.com>
Wed, 16 Jun 2021 08:46:01 +0000 (10:46 +0200)
committerGitHub <noreply@github.com>
Wed, 16 Jun 2021 08:46:01 +0000 (08:46 +0000)
commit6ae5647e754925a5c963d2b92c7255d7e0de6b03
tree1566f4fce9728d8bab74fb64bc0522683816ab30tree
parentc299e8661f24d3a6acb736e9e5df1b1920488ac3commit | diff
Properly consider aliases in option handlers (#6683)

This PR makes sure that option handlers have access to both the canonical option name and the option name that was actually used. It also updates the options README and gets rid of the base_handlers.h of which only a fraction was used.
src/options/CMakeLists.txt diff | blob | history
src/options/README [deleted file] blob | history
src/options/README.md [new file with mode: 0644] blob
src/options/base_handlers.h [deleted file] 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_template.cpp diff | blob | history
src/options/prop_options.toml diff | blob | history