projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1858d0a) | patch
Refactor options::set() (#7138)
authorGereon Kremer <nafur42@gmail.com>
Wed, 8 Sep 2021 19:36:50 +0000 (12:36 -0700)
committerGitHub <noreply@github.com>
Wed, 8 Sep 2021 19:36:50 +0000 (19:36 +0000)
commit73a9f07321a854f8f9123c3645db5b7cddb827be
tree3e4085b244cc43ba9e82fa209005370aa73f41b3tree
parent1858d0a186bb52aa194d4961768697e74d60e5c4commit | diff
Refactor options::set() (#7138)

This PR refactors the code generation and the generate code for options::set().
src/options/mkoptions.py diff | blob | history
src/options/options_public_template.cpp diff | blob | history