poly: bump v0.4.0

fbrausse · Nov 4, 2022 · e8680b7 · e8680b7
1 parent 487cbd4
commit e8680b7
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 1 deletion.
diff --git 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
@@ -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',