projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e73aa91) | patch
Refactor generation code for getInfo() (#7176)
authorGereon Kremer <nafur42@gmail.com>
Mon, 13 Sep 2021 16:29:32 +0000 (18:29 +0200)
committerGitHub <noreply@github.com>
Mon, 13 Sep 2021 16:29:32 +0000 (16:29 +0000)
commita63635697d6374fc2355a4bb587ee490eee4dc7b
tree7b1a1efb891e51195f19f644170a4284b92e8c4btree
parente73aa912b0716f45642865baf245693f94bdea63commit | diff
Refactor generation code for getInfo() (#7176)

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