projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d1343b) | patch
Simplify generation of option module code. (#6995)
authorGereon Kremer <nafur42@gmail.com>
Tue, 10 Aug 2021 00:09:24 +0000 (17:09 -0700)
committerGitHub <noreply@github.com>
Tue, 10 Aug 2021 00:09:24 +0000 (00:09 +0000)
commit35d195a68dfd36dc64715dd94f4b96c856a5baf9
tree45029124b1cc610f05707df6103e1311d9321590tree
parent2d1343b65765ffdcebfe856d11a6339337f862a3commit | diff
Simplify generation of option module code. (#6995)

This commit simplifies both the code that generates the option modules and the generated code itself. It removes placeholders in the templates that are no longer used, gets rid of the option holder types (and replaces them by simple inline functions) and does some clean up on the related code in the `mkoptions.py` script.
src/options/mkoptions.py diff | blob | history
src/options/module_template.cpp diff | blob | history
src/options/module_template.h diff | blob | history