poly: bump v0.6.1

fbrausse · Nov 15, 2022 · 9cc9f78 · 9cc9f78
1 parent 72aad1a
commit 9cc9f78
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/utils/poly/CHANGELOG b/utils/poly/CHANGELOG
@@ -1,3 +1,12 @@
+2022-11-15 poly-v0.6.1
+
+ * -C bnds-dom now affects integer variables as well
+ * protection for ival-solver and critical-point solver:
+ * - encode unbounded domains properly for fallback solver
+ * - critical points are not suitable for (dis-)equality constraints
+ * - protect against handling interval domains for integers
+
+
 2022-11-15 poly-v0.6.0
 
  * code simplification and cleanup

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.6.0',
+project('poly', 'cpp', license: 'Apache-2.0', version: '0.6.1',
         default_options: [
 	'cpp_std=c++20',
 	'warning_level=2',