Pycarl version 2.3.0 (#43)

moves-rwth · Aug 22, 2024 · 09d94f5 · 09d94f5
1 parent 3da7079
commit 09d94f5
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,6 +1,17 @@
 Changelog
 =============
 
+Version 2.3.x
+-------------
+
+### Version 2.3.0 (2024/08)
+Requires carl-storm version >= 14.23
+
+- Added support for intervals with different number types
+- Automated code formatting
+- Developer: improved build and CMake support
+- Developer: improved CI
+
 
 Version 2.2.x
 -------------

diff --git a/lib/pycarl/_version.py b/lib/pycarl/_version.py
@@ -1 +1 @@
-__version__ = "2.2.0"
+__version__ = "2.3.0"