From e8680b7b06826d6306385d985c8e58be0a5f5d61 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franz=20Brau=C3=9Fe?= <franz.brausse@manchester.ac.uk>
Date: Fri, 4 Nov 2022 11:56:11 +0100
Subject: [PATCH] poly: bump v0.4.0

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

diff --git a/utils/poly/CHANGELOG b/utils/poly/CHANGELOG
index b80d07d..6fc5c48 100644
--- a/utils/poly/CHANGELOG
+++ b/utils/poly/CHANGELOG
@@ -1,3 +1,20 @@
+2022-11-02 poly-v0.4.0
+
+ * update usage in readme
+ * compat with clang>=11, gcc>=11
+ * simplify gear formula using "target" = (beta /\ f >= T)
+ * switch to kay::dbl::ival, add SUBDIVS param to -i, do not install SIGINT handler
+ * unconditionally include ival-solver
+ * ival-solver supports ite2
+ * add license headers to ival-solver
+ * ival-solver cleanup
+ * feed maybes from ival to next solver
+ * add simplify() on form2 and term2 + add derivative() on term2
+ * WIP: ival computes #critical points for simple problems
+ * add meson configure option -Dasserts=(true|false)
+ * missing case in simplify()
+ * add critical-points search after ival-solver
+
 2022-11-02 poly-v0.3.0
 
  * prepare making z3-solver optional
diff --git a/utils/poly/meson.build b/utils/poly/meson.build
index 5cb54f0..669535e 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.3.0',
+project('poly', 'cpp', license: 'Apache-2.0', version: '0.4.0',
         default_options: [
 	'cpp_std=c++20',
 	'warning_level=2',