projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 91eb86f) | patch
Integrate pythonic api (#8131)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Thu, 3 Mar 2022 02:16:09 +0000 (03:16 +0100)
committerGitHub <noreply@github.com>
Thu, 3 Mar 2022 02:16:09 +0000 (02:16 +0000)
commitea5e75d04aea5686962e16bb3311f5406f3d64da
treec517c7b6424fb087d754182e4c1b75b9be4b5bcbtree
parent91eb86f4f64e29865661bc2edc4fb86317808d16commit | diff
Integrate pythonic api (#8131)

We decided we want to ship the pythonic API together with our base python API.
This PR adds a new target cvc5_python_api that first builds the base python API and then copies the pythonic API over. Furthermore we now use the cvc5.pythonic module to generate the corresponding documentation.
14 files changed:
cmake/FindCVC5PythonicAPI.cmake [new file with mode: 0644] blob
docs/api/python/CMakeLists.txt diff | blob | history
docs/api/python/pythonic/arith.rst diff | blob | history
docs/api/python/pythonic/array.rst diff | blob | history
docs/api/python/pythonic/bitvec.rst diff | blob | history
docs/api/python/pythonic/boolean.rst diff | blob | history
docs/api/python/pythonic/dt.rst diff | blob | history
docs/api/python/pythonic/fp.rst diff | blob | history
docs/api/python/pythonic/internals.rst diff | blob | history
docs/api/python/pythonic/quant.rst diff | blob | history
docs/api/python/pythonic/set.rst diff | blob | history
docs/api/python/pythonic/solver.rst diff | blob | history
docs/conf.py.in diff | blob | history
src/api/python/CMakeLists.txt diff | blob | history