preparation for 0.9.15 release

aibolem · Jun 7, 2024 · 94f6386 · 94f6386
1 parent 66fa6a4
commit 94f6386
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 1 deletion.
diff --git a/Changes b/Changes
@@ -1,3 +1,16 @@
+Version 0.9.15
+
+- BREAKING CHANGE FOR OCAML: remove polymorphic compare functions and renamed compare functions that do not implement a total order, documentation clarification (#108)
+
+- Autodetect library in configure for Mac ARM with Homebrew (#107)
+
+- Support for PPLite 0.12 [Michele Spotti, Enea Zaffanella]] (#105)
+
+- Disable PPL and PPLite when no C++ compielr is detected (#104)
+
+- Various fixes (#101, #97, #90)
+
+
 Version 0.9.14
 
 - Add support for PPLite 0.11 polyhedra library [Enea Zaffanella] (#71)

diff --git a/version.mk b/version.mk
@@ -1,7 +1,7 @@
 # bump here at each release
 VERSION_MAJOR = 0
 VERSION_MINOR = 9
-VERSION_MICRO = 14
+VERSION_MICRO = 15
 
 # automatically generated
 VERSION_STR = "${VERSION_MAJOR}.${VERSION_MINOR}.${VERSION_MICRO}"