projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1582914) | patch
Integrate javadoc documentation (#7278)
authorGereon Kremer <nafur42@gmail.com>
Thu, 30 Sep 2021 20:34:33 +0000 (13:34 -0700)
committerGitHub <noreply@github.com>
Thu, 30 Sep 2021 20:34:33 +0000 (20:34 +0000)
commitb106c95296860cf89ea7cef00c8e8187409e755e
tree102eb4129f6a72617aef73c1cb494f16d64df31atree
parent1582914d275314eb707aa21d952fd22f502bc963commit | diff
Integrate javadoc documentation  (#7278)

This PR adds the cmake setup to generate javadoc documentation for the java API and integrates it into the sphinx documentation. Right now, we simply link to the javadoc. This PR also modifies a bunch of javadoc comments to use proper javadoc syntax.
docs/CMakeLists.txt diff | blob | history
docs/api/CMakeLists.txt diff | blob | history
docs/api/api.rst diff | blob | history
docs/api/java/CMakeLists.txt [new file with mode: 0644] blob
docs/api/java/index.rst [new file with mode: 0644] blob
docs/conf.py.in diff | blob | history
src/api/cpp/cvc5.h diff | blob | history
src/api/java/CMakeLists.txt diff | blob | history
src/api/java/cvc5/Solver.java diff | blob | history
src/api/java/cvc5/Stat.java diff | blob | history