diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-06-21 22:29:01 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-21 22:29:01 -0700 |
| commit | 252a8fb4323fed6eb621a4f88a06abfc39307b76 (patch) | |
| tree | 1858636286f1c657c2fd03ec4c788db8602d1489 /src/bindings | |
| parent | be33ac9656bf7feafa3715d6623749f6afd962b5 (diff) | |
Add floating-point support in the Java API (#3063)
This commit adds support for the theory of floating-point numbers in the
Java API. Previously, floating-point related classes were missing in the
JAR. The commit also provides an example that showcases how to work with
the theory of floating-point numbers through the API.
Diffstat (limited to 'src/bindings')
| -rw-r--r-- | src/bindings/java/CMakeLists.txt | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/bindings/java/CMakeLists.txt b/src/bindings/java/CMakeLists.txt index 6277b2794..a94afc0a0 100644 --- a/src/bindings/java/CMakeLists.txt +++ b/src/bindings/java/CMakeLists.txt @@ -97,6 +97,18 @@ set(gen_java_files ${CMAKE_CURRENT_BINARY_DIR}/ExprManager.java ${CMAKE_CURRENT_BINARY_DIR}/ExprManagerMapCollection.java ${CMAKE_CURRENT_BINARY_DIR}/ExprStream.java + ${CMAKE_CURRENT_BINARY_DIR}/FloatingPoint.java + ${CMAKE_CURRENT_BINARY_DIR}/FloatingPointConvertSort.java + ${CMAKE_CURRENT_BINARY_DIR}/FloatingPointSize.java + ${CMAKE_CURRENT_BINARY_DIR}/FloatingPointToBV.java + ${CMAKE_CURRENT_BINARY_DIR}/FloatingPointToFPFloatingPoint.java + ${CMAKE_CURRENT_BINARY_DIR}/FloatingPointToFPGeneric.java + ${CMAKE_CURRENT_BINARY_DIR}/FloatingPointToFPIEEEBitVector.java + ${CMAKE_CURRENT_BINARY_DIR}/FloatingPointToFPReal.java + ${CMAKE_CURRENT_BINARY_DIR}/FloatingPointToFPSignedBitVector.java + ${CMAKE_CURRENT_BINARY_DIR}/FloatingPointToFPUnsignedBitVector.java + ${CMAKE_CURRENT_BINARY_DIR}/FloatingPointToSBV.java + ${CMAKE_CURRENT_BINARY_DIR}/FloatingPointToUBV.java ${CMAKE_CURRENT_BINARY_DIR}/FloatingPointType.java ${CMAKE_CURRENT_BINARY_DIR}/FunctionType.java ${CMAKE_CURRENT_BINARY_DIR}/GetAssertionsCommand.java @@ -162,6 +174,7 @@ set(gen_java_files ${CMAKE_CURRENT_BINARY_DIR}/ResourceManager.java ${CMAKE_CURRENT_BINARY_DIR}/Result.java ${CMAKE_CURRENT_BINARY_DIR}/RewriteRuleCommand.java + ${CMAKE_CURRENT_BINARY_DIR}/RoundingMode.java ${CMAKE_CURRENT_BINARY_DIR}/RoundingModeType.java ${CMAKE_CURRENT_BINARY_DIR}/SExpr.java ${CMAKE_CURRENT_BINARY_DIR}/SExprKeyword.java |