updated release notes

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Nov 19, 2018 · 7f5d66c · 7f5d66c
1 parent 7d0d7e6
commit 7f5d66c
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/RELEASE_NOTES b/RELEASE_NOTES
@@ -3,8 +3,12 @@ RELEASE NOTES
 Version 4.8.3
 =============
 - New features
-  - native handling of recursive function definitions
+  - Native handling of recursive function definitions, thanks to Simon Cruanes
   - PB rounding based option for conflict resolution when reasoning about PB constraints.
+  - Access to numeral constants as a double from the native API.
+
+- Notes
+  - fixes several bugs discovered since the 4.8.1 release.
 
 Version 4.8.2
 =============