Updated CHANGELOG for 4.0.0

flatsurf · Dec 29, 2023 · 4403eb2 · 4403eb2
1 parent 2aa817c
commit 4403eb2
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 7 deletions.
diff --git a/ChangeLog b/ChangeLog
@@ -4,6 +4,19 @@ exact-real Change Log
 
 .. current developments
 
+v4.0.0
+====================
+
+**Added:**
+
+* Added compatibility with FLINT 3.
+
+**Changed:**
+
+* Changed how Arb expressions print when used in Python. They now just print as "arithmetic expression" since there was a spurious segfault on macOS that we could not reliably reproduce and make sense of.
+
+
+
 v3.1.0
 ====================
 

diff --git a/doc/news/flint23.rst b/doc/news/flint23.rst