Bump Pythonic (transcendentals) & exception example (#8553)

- Bump version of Pythonic API to include transcendentals.
- Document Pythonic API's transcendentals.
- Add exception Pythonic API example.

diff --git a/cmake/FindCVC5PythonicAPI.cmake b/cmake/FindCVC5PythonicAPI.cmake
index 5e1b33ac59b239e4d59d5f85d601165635270f17..43d6254c8e9b141a852a386308b15149909c924e 100644 (file)
--- a/cmake/FindCVC5PythonicAPI.cmake
+++ b/cmake/FindCVC5PythonicAPI.cmake
@@ -24,12 +24,12 @@ endif()
 
 include(ExternalProject)
 
-set(CVC5PythonicAPI_VERSION "a35b49ef3cd121e3dbc9496848019f7850f8f17d")
+set(CVC5PythonicAPI_VERSION "a04093e60036b83681c6f2cf5cca42bb631b6ce4")
 ExternalProject_Add(
   CVC5PythonicAPI
   ${COMMON_EP_CONFIG}
   URL https://github.com/cvc5/cvc5_pythonic_api/archive/${CVC5PythonicAPI_VERSION}.zip
-  URL_HASH SHA1=232b589148c0a19783cfca22c8628af4516a6eec
+  URL_HASH SHA1=a2ad7f53c38fdb9f3351d1915278e92de1427b69
   CONFIGURE_COMMAND ""
   BUILD_COMMAND ""
   INSTALL_COMMAND ""

diff --git a/docs/api/python/pythonic/arith.rst b/docs/api/python/pythonic/arith.rst
index e75fadabab4f3042a0619aa859624f5aa0b8c3ab..663866054a707db0fdfc837dbdd750851e396869 100644 (file)
--- a/docs/api/python/pythonic/arith.rst
+++ b/docs/api/python/pythonic/arith.rst
@@ -83,6 +83,24 @@ Other Arithmetic Operators
 .. autofunction:: cvc5.pythonic.Sqrt
 .. autofunction:: cvc5.pythonic.Cbrt
 
+Transcendentals
+--------------------------
+.. autofunction:: cvc5.pythonic.Pi
+.. autofunction:: cvc5.pythonic.Exponential
+.. autofunction:: cvc5.pythonic.Sine
+.. autofunction:: cvc5.pythonic.Cosine
+.. autofunction:: cvc5.pythonic.Tangent
+.. autofunction:: cvc5.pythonic.Arcsine
+.. autofunction:: cvc5.pythonic.Arccosine
+.. autofunction:: cvc5.pythonic.Arctangent
+.. autofunction:: cvc5.pythonic.Secant
+.. autofunction:: cvc5.pythonic.Cosecant
+.. autofunction:: cvc5.pythonic.Cotangent
+.. autofunction:: cvc5.pythonic.Arcsecant
+.. autofunction:: cvc5.pythonic.Arccosecant
+.. autofunction:: cvc5.pythonic.Arccotangent
+
+
 Testers
 -------------------
 .. autofunction:: cvc5.pythonic.is_arith

diff --git a/docs/examples/exceptions.rst b/docs/examples/exceptions.rst
index 3f50743895532e6801d639e2468cc7bd5d8d20e8..3225ef21aa4113291995f683ad592cca87386319 100644 (file)
--- a/docs/examples/exceptions.rst
+++ b/docs/examples/exceptions.rst
@@ -5,3 +5,4 @@ Exception Handling
 .. api-examples::
     <examples>/api/java/Exceptions.java
     <examples>/api/python/exceptions.py
+    <pythonicapi>/test/pgms/example_exceptions.py