projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8cfc5cf) | patch
Remove Options::ref() (#6647)
authorGereon Kremer <nafur42@gmail.com>
Mon, 31 May 2021 14:05:39 +0000 (16:05 +0200)
committerGitHub <noreply@github.com>
Mon, 31 May 2021 14:05:39 +0000 (16:05 +0200)
commitd80303ab28c0e14e41feaf16123f9fe5e50be0ec
tree32cf733bf4705617c19d980e2a27a4058de2b0d6tree
parent8cfc5cf2a170f32153f9cc3823dc8339d37086c3commit | diff
Remove Options::ref() (#6647)

This PR gets rid of the templated Options::ref() method (and all its specializations for every option).
src/options/mkoptions.py diff | blob | history
src/options/options_template.cpp diff | blob | history
src/options/options_template.h diff | blob | history