projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0869a09) | patch
Add API documentation for statistics (#6364)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Thu, 22 Apr 2021 19:38:57 +0000 (21:38 +0200)
committerGitHub <noreply@github.com>
Thu, 22 Apr 2021 19:38:57 +0000 (19:38 +0000)
commit69992245e3d2326ca8ecf2295a7e03d395046fc1
treeb165e5472cc03856e074eaa54d1a6528dd1c13b2tree
parent0869a09f1161480de24c412b12954fc84943bab2commit | diff
Add API documentation for statistics (#6364)

This PR adds documentation for api::Statistics and api::Stat, as well as further explanations in sphinx.
It also adds a custom css to our sphinx theme that slightly changes how inline code blocks look.
docs/_static/custom.css [new file with mode: 0644] blob
docs/conf.py diff | blob | history
docs/cpp/cpp.rst diff | blob | history
docs/cpp/statistics.rst [new file with mode: 0644] blob
docs/ext/.gitignore [new file with mode: 0644] blob
src/api/cpp/cvc5.cpp diff | blob | history
src/api/cpp/cvc5.h diff | blob | history