projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d43b252) | patch
Add documentation for z3py compatibility API (#7652)
authorGereon Kremer <gkremer@stanford.edu>
Wed, 17 Nov 2021 19:40:49 +0000 (11:40 -0800)
committerGitHub <noreply@github.com>
Wed, 17 Nov 2021 19:40:49 +0000 (19:40 +0000)
commit21b15a0464bc6bbee801385c86930af3c63804bc
tree01fcc050262526b84ebf9d5d6c4de48f0d74474atree
parentd43b252d1c4588c1662811bfe7d7352823aae447commit | diff
Add documentation for z3py compatibility API (#7652)

This PR includes documentation for the z3py compatibility API into our general API.
It does so by adding the z3py compatibility API as an external project to download it and then have sphinx document it via the autodoc extension that we already use for our regular python API.
Right now we simply show everything on one page, which should be refactored in the future.
32 files changed:
docs/api/api.rst diff | blob | history
docs/api/python/CMakeLists.txt diff | blob | history
docs/api/python/datatype.rst [deleted file] blob | history
docs/api/python/datatypeconstructor.rst [deleted file] blob | history
docs/api/python/datatypeconstructordecl.rst [deleted file] blob | history
docs/api/python/datatypedecl.rst [deleted file] blob | history
docs/api/python/datatypeselector.rst [deleted file] blob | history
docs/api/python/grammar.rst [deleted file] blob | history
docs/api/python/op.rst [deleted file] blob | history
docs/api/python/python.rst diff | blob | history
docs/api/python/quickstart.rst [deleted file] blob | history
docs/api/python/regular/datatype.rst [new file with mode: 0644] blob
docs/api/python/regular/datatypeconstructor.rst [new file with mode: 0644] blob
docs/api/python/regular/datatypeconstructordecl.rst [new file with mode: 0644] blob
docs/api/python/regular/datatypedecl.rst [new file with mode: 0644] blob
docs/api/python/regular/datatypeselector.rst [new file with mode: 0644] blob
docs/api/python/regular/grammar.rst [new file with mode: 0644] blob
docs/api/python/regular/op.rst [new file with mode: 0644] blob
docs/api/python/regular/python.rst [new file with mode: 0644] blob
docs/api/python/regular/quickstart.rst [new file with mode: 0644] blob
docs/api/python/regular/result.rst [new file with mode: 0644] blob
docs/api/python/regular/roundingmode.rst [new file with mode: 0644] blob
docs/api/python/regular/solver.rst [new file with mode: 0644] blob
docs/api/python/regular/sort.rst [new file with mode: 0644] blob
docs/api/python/regular/unknownexplanation.rst [new file with mode: 0644] blob
docs/api/python/result.rst [deleted file] blob | history
docs/api/python/roundingmode.rst [deleted file] blob | history
docs/api/python/solver.rst [deleted file] blob | history
docs/api/python/sort.rst [deleted file] blob | history
docs/api/python/unknownexplanation.rst [deleted file] blob | history
docs/api/python/z3compat/z3compat.rst [new file with mode: 0644] blob
docs/conf.py.in diff | blob | history