release notes

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Dec 20, 2018 · d6df519 · d6df519
1 parent a63d1b1
commit d6df519
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/RELEASE_NOTES b/RELEASE_NOTES
@@ -1,5 +1,15 @@
 RELEASE NOTES
 
+Version 4.8.4
+=============
+
+- Notes
+  - fixes bugs
+  - a substantial update to how the seq theory solver handles regular
+    expressions. Other performance improvements to the seq solver.
+  - Managed .NET DLLs include dotnet standard 1.4 on supported platforms.
+  - Windows Managed DLLs are strong signed in the released binaries.
+
 Version 4.8.3
 =============
 - New features