projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f7b60f6) | patch
Support public option modules (#6691)
authorGereon Kremer <nafur42@gmail.com>
Sun, 6 Jun 2021 11:09:40 +0000 (13:09 +0200)
committerGitHub <noreply@github.com>
Sun, 6 Jun 2021 11:09:40 +0000 (13:09 +0200)
commitf27d633c82442f2106f747195834c2cb5ba6dd81
treea0e43b2a251ad54576f24d7568b7b0acebacd632tree
parentf7b60f68bb6a7945eebb7f97a5f63302ad0ddc67commit | diff
Support public option modules (#6691)

This PR adds the possibility to make option modules public. As shown on the example of the main driver options, this allows to get rid of the wrappers from options_public.h. We plan to make only very few option modules public (i.e. main and parser).
src/main/driver_unified.cpp diff | blob | history
src/main/interactive_shell.cpp diff | blob | history
src/options/main_options.toml diff | blob | history
src/options/mkoptions.py diff | blob | history
src/options/module_template.h diff | blob | history
src/options/options_public.cpp diff | blob | history
src/options/options_public.h diff | blob | history