projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 84b4d62) | patch
api: Use 'note' constructs for API documentation. (#7794)
authorAina Niemetz <aina.niemetz@gmail.com>
Fri, 10 Dec 2021 23:36:27 +0000 (15:36 -0800)
committerGitHub <noreply@github.com>
Fri, 10 Dec 2021 23:36:27 +0000 (23:36 +0000)
commit7c27981f65d554ef24a513d8d2bb96cb5139e1db
tree22a946d692d29def7cf95232ae34ff3b338085aatree
parent84b4d62a8c6f0a7d5c81c43e02a267614dd79a5dcommit | diff
api: Use 'note' constructs for API documentation. (#7794)

This uses '@note' for notes in the C++ API documentation, '.. note::'
for Python, and '@apiNote' for Java.
docs/api/java/CMakeLists.txt diff | blob | history
src/api/cpp/cvc5.h diff | blob | history
src/api/java/io/github/cvc5/api/Solver.java diff | blob | history
src/api/java/io/github/cvc5/api/Sort.java diff | blob | history
src/api/java/io/github/cvc5/api/Term.java diff | blob | history
src/api/python/cvc5.pxi diff | blob | history