projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b135115) | patch
Fix docs warnings (#8019)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Mon, 7 Mar 2022 21:22:44 +0000 (22:22 +0100)
committerGitHub <noreply@github.com>
Mon, 7 Mar 2022 21:22:44 +0000 (21:22 +0000)
commit54ce4e6afd0cda5d5bca45d7c5ddc6587c50b30f
tree6c6867684bebd9df3a30e5fc128147e22c059601tree
parentb1351156e85e6b8e218daa6e3a8c2cf1d8fcde8ecommit | diff
Fix docs warnings (#8019)

This fixes a bunch of warnings when generating our sphinx documentation.
They are mostly related to incorrect indentation/spacing, line breaks where
no line breaks should be, or missing code blocks.
Note that running clang-format causes some of these issues.
docs/api/cpp/Doxyfile.in diff | blob | history
docs/api/java/CMakeLists.txt diff | blob | history
src/api/cpp/cvc5.h diff | blob | history
src/api/cpp/cvc5_kind.h diff | blob | history
src/api/python/cvc5.pxi diff | blob | history
src/api/python/genkinds.py.in diff | blob | history