projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cf79199) | patch
Refactor options handlers (#7080)
authorGereon Kremer <nafur42@gmail.com>
Thu, 2 Sep 2021 21:34:40 +0000 (14:34 -0700)
committerGitHub <noreply@github.com>
Thu, 2 Sep 2021 21:34:40 +0000 (21:34 +0000)
commite2994ed485c941c669787ce38876e2478dba28d0
tree0a86d72a80161223c853d42ec0e32f2992fb2f37tree
parentcf79199f0dde04e709acbf355c5be769f8647533commit | diff
Refactor options handlers (#7080)

This PR does a major refactoring to the default option handlers (i.e. the piece of code that converts strings to the respective option types). It gets rid of the current multi-layer template specialization in favor of a simple overloaded template function.
src/options/mkoptions.py diff | blob | history
src/options/options_public.h diff | blob | history
src/options/options_public_template.cpp diff | blob | history