From 27b41b41dc61880ffce349b3ea579658c00d8289 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franz=20Brau=C3=9Fe?= <franz.brausse@manchester.ac.uk>
Date: Tue, 13 Dec 2022 11:47:38 +0100
Subject: [PATCH] poly: bump v0.9.0

---
 utils/poly/CHANGELOG   | 18 ++++++++++++++++++
 utils/poly/meson.build |  2 +-
 2 files changed, 19 insertions(+), 1 deletion(-)

diff --git a/utils/poly/CHANGELOG b/utils/poly/CHANGELOG
index 6a84066..92c5d6b 100644
--- a/utils/poly/CHANGELOG
+++ b/utils/poly/CHANGELOG
@@ -1,3 +1,21 @@
+2022-12-13 poly-v0.9.0
+
+ * fix computation of final bounds for optimum
+ * catch more cases worth logging
+ * move bop/uop to expr2; add infix support for "^"
+ * move more ad-hoc unrolled functions to API: and, or, not, div_cnst
+ * begin parsing cvc5/cvc4/z3 inexact or algebraic assignments in models
+ * add reals and algebraics
+ * introduce A values to cnst2
+ * parameterize how literals are unrolled
+ * prepare to librarify
+ * add initial version of Pareto
+ * cleanup
+ * first version Python API
+ * add some local things to .gitignore
+ * move __init__.py + separate -static* flags for exe & lib
+ * add __version__ + fix boost dep for static build
+
 2022-11-26 poly-v0.8.0
 
  * override Z3's buggy SIGINT handler (after 100ms)
diff --git a/utils/poly/meson.build b/utils/poly/meson.build
index ebbe310..255847c 100644
--- a/utils/poly/meson.build
+++ b/utils/poly/meson.build
@@ -1,7 +1,7 @@
 # buildtype:  {plain, debug, debugoptimized, release, minsize, custom}
 # debug: {true, false}
 # optimization: {plain, 0, g, 1, 2, 3, s}
-project('poly', 'cpp', license: 'Apache-2.0', version: '0.8.0',
+project('poly', 'cpp', license: 'Apache-2.0', version: '0.9.0',
         default_options: [
 	'cpp_std=c++20',
 	'warning_level=2',