projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d08ee0c) | patch
Refactor kinds parser (#8287)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 11 Mar 2022 01:54:33 +0000 (17:54 -0800)
committerGitHub <noreply@github.com>
Fri, 11 Mar 2022 01:54:33 +0000 (17:54 -0800)
commit6960213a16bbad7b96fdbb3ff10ddd4d9cde3e04
tree6ff3e12cdf1430eed4e6de98f60088707012efcftree
parentd08ee0c791ef930386dccf3fa394b820d6bd11d2commit | diff
Refactor kinds parser (#8287)

This commit does a minor refactoring of the kinds parser. It moves the
Python name formatting out of parsekinds.py, adds parsekinds.py as a
dependency for the Java kinds generator, and reformats the scripts using
YAPF.

This is the first step towards generalizing the scripts for other enums.
src/api/java/CMakeLists.txt diff | blob | history
src/api/java/genkinds.py.in diff | blob | history
src/api/parsekinds.py diff | blob | history
src/api/python/genkinds.py.in diff | blob | history