projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be33ac9) | patch
Add floating-point support in the Java API (#3063)
authorAndres Noetzli <andres.noetzli@gmail.com>
Sat, 22 Jun 2019 05:29:01 +0000 (22:29 -0700)
committerGitHub <noreply@github.com>
Sat, 22 Jun 2019 05:29:01 +0000 (22:29 -0700)
commit252a8fb4323fed6eb621a4f88a06abfc39307b76
tree1858636286f1c657c2fd03ec4c788db8602d1489tree
parentbe33ac9656bf7feafa3715d6623749f6afd962b5commit | 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.
examples/api/java/CMakeLists.txt diff | blob | history
examples/api/java/FloatingPointArith.java [new file with mode: 0644] blob
src/bindings/java/CMakeLists.txt diff | blob | history
src/cvc4.i diff | blob | history
src/expr/expr.i diff | blob | history
src/expr/expr_manager.i diff | blob | history
src/util/floatingpoint.i diff | blob | history