projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 962c830) | patch
Refactor options::get() and options::getNames() (#7135)
authorGereon Kremer <nafur42@gmail.com>
Fri, 3 Sep 2021 18:02:58 +0000 (11:02 -0700)
committerGitHub <noreply@github.com>
Fri, 3 Sep 2021 18:02:58 +0000 (18:02 +0000)
commit6312fb33949614fd3429c54cbfdae400dc64430d
tree93f1df55c7e677ad1543bbe417d18e809a62b61etree
parent962c83047eed6f471f2c40f664df631ebd1350aecommit | diff
Refactor options::get() and options::getNames() (#7135)

This PR refactors the code generation and the generated code for options::get() and options::getNames().
src/options/mkoptions.py diff | blob | history
src/options/options_public.h diff | blob | history
src/options/options_public_template.cpp diff | blob | history