poly: bump v0.9.0

fbrausse · Dec 13, 2022 · 27b41b4 · 27b41b4
1 parent 14bd483
commit 27b41b4
Show file tree

Hide file tree

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