update changelog for next release 3.5.1.

sosy-lab · Jun 15, 2020 · 67ba488 · 67ba488
1 parent 6395505
commit 67ba488
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,13 @@
 # JavaSMT ChangeLog
 
+## JavaSMT 3.5.1
+
+### Improvements and Fixes:
+ - improve interpolation error detection for MathSAT5
+ - fix simplification procedure for MathSAT5
+ - improve interrupt detection for Z3
+ - fix quantifier elimination for Z3
+
 ## JavaSMT 3.5.0
 
 This release mostly contains updated solvers,