projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d8565b7) | patch
Refactor proof rule documentation (#8303)
authorGereon Kremer <gkremer@cs.stanford.edu>
Tue, 22 Mar 2022 22:26:56 +0000 (23:26 +0100)
committerGitHub <noreply@github.com>
Tue, 22 Mar 2022 22:26:56 +0000 (22:26 +0000)
commitd0b68d1a2bf241dde46bb7069680ab1b8f888366
tree05d1f54f8be78bf43db67d9b3eecf563156a81cbtree
parentd8565b7d6b9817de525fea2c8eb04536476bb6b2commit | diff
Refactor proof rule documentation (#8303)

This PR starts to refactor the proof rule comments so that they generate proper sphinx documentation.
It sets up doxygen to include the proof_rule.h, includes some useful configuration for mathjax and provides proper documentation for all core rules and Boolean rules.
docs/api/cpp/CMakeLists.txt diff | blob | history
docs/conf.py.in diff | blob | history
src/proof/proof_rule.h diff | blob | history