update documentation for next release.

sosy-lab · Jun 26, 2019 · e4c91c3 · e4c91c3
1 parent ef3d612
commit e4c91c3
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,18 @@
 # JavaSMT ChangeLog
 
+## JavaSMT 3.0.0
+
+### Changes in the API
+ - New methods to cast different theories, e.g., BV to INT, REAL to INT, and vice versa.
+ - More function declaration kinds, especially for FP theory.
+
+### Improvements and Fixes
+ - New solver versions:
+    - MathSAT: 5.5.4 (Feb 2019)
+    - SMTInterpol: 2.5-66-g453d36e
+    - other solvers were not updated since the last release
+ - Improve loading of Jar file for Z3 on Java 9 (and later).
+
 ## JavaSMT 2.0.0
 
 ### Changes in the API