projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3751acc) | patch
api: First batch of fixes in the api docs. (#8558)
authorAina Niemetz <aina.niemetz@gmail.com>
Mon, 4 Apr 2022 22:59:32 +0000 (15:59 -0700)
committerGitHub <noreply@github.com>
Mon, 4 Apr 2022 22:59:32 +0000 (22:59 +0000)
commitc3610b9b44bc2df1baf5de268ec7dd03dbd17c3b
tree5f651fb2725d2eba6d67568c50eea978a9dfc0c5tree
parent3751acca65569ac2a468e8dc3fd02e2b5b5957d7commit | diff
api: First batch of fixes in the api docs. (#8558)

Uses `@return <uppercase> .... <period>` and `@param <param> <uppercase> ... <period>`,
plus various fixes in the docs.
src/api/cpp/cvc5.h diff | blob | history
src/api/java/io/github/cvc5/Sort.java diff | blob | history
src/api/python/cvc5.pxi diff | blob | history