projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4b86c47) | patch
Bump Pythonic (transcendentals) & exception example (#8553)
authorAlex Ozdemir <aozdemir@hmc.edu>
Mon, 4 Apr 2022 20:11:30 +0000 (13:11 -0700)
committerGitHub <noreply@github.com>
Mon, 4 Apr 2022 20:11:30 +0000 (20:11 +0000)
commit1ae29f43534779391d4f49ff5eb8498ec23d1164
treea770e36f89c858b8f66ff558134c657936c3bac2tree
parent4b86c4785830f522650fadc787d3af2004c0806ccommit | diff
Bump Pythonic (transcendentals) & exception example (#8553)

- Bump version of Pythonic API to include transcendentals.
- Document Pythonic API's transcendentals.
- Add exception Pythonic API example.
cmake/FindCVC5PythonicAPI.cmake diff | blob | history
docs/api/python/pythonic/arith.rst diff | blob | history
docs/examples/exceptions.rst diff | blob | history