projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bdc92b3) | patch
Generate cvc/Kind.java for the java API (#6143)
authormudathirmahgoub <mudathirmahgoub@gmail.com>
Sat, 20 Mar 2021 10:23:44 +0000 (05:23 -0500)
committerGitHub <noreply@github.com>
Sat, 20 Mar 2021 10:23:44 +0000 (05:23 -0500)
commita374f7b577b48908d623cf7b64594f1c98cfb8b7
tree0173b96f4f9ec3c967b3d7d9cf64ed4c1c555d8ftree
parentbdc92b3bb257134c01c5e4818e97f71cbb66ab52commit | diff
Generate cvc/Kind.java for the java API (#6143)

PR changes:

Refactor python/genkinds.py by separating parsing from file generation.
Add java/genkinds.py to generate file Kind.java.
Enable java API in ./configure.sh with "under development" warning.
CMakeLists.txt diff | blob | history
cmake/CVC4Config.cmake.in diff | blob | history
configure.sh diff | blob | history
examples/CMakeLists.txt diff | blob | history
src/api/java/CMakeLists.txt [new file with mode: 0644] blob
src/api/java/genkinds.py [new file with mode: 0644] blob
src/api/parsekinds.py [new file with mode: 0644] blob
src/api/python/genkinds.py diff | blob | history