poly: bump v0.6.0

fbrausse · Nov 15, 2022 · ab782d1 · ab782d1
1 parent edcf79c
commit ab782d1
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 2 deletions.
diff --git a/utils/poly/CHANGELOG b/utils/poly/CHANGELOG
@@ -1,3 +1,15 @@
+2022-11-15 poly-v0.6.0
+
+ * code simplification and cleanup
+ * documentation of trace format and rationale behind it in readme
+ * move {id_theta => all_eq}() to public API
+ * add u, trace showing final range and contained info and c,/d, trace records
+ * generalize search range for GearOpt and add option -T THRESHS
+ * relax check on -Cbnds-dom for -r: input bounds empty -> fine
+ * ksmt-0.1.7 not supported (missing (get-model)), next version will be
+ * simplify and add check for Match() signature
+ * fix infix parser: x-y+z was parsed as x-(y+z)
+
 2022-11-08 poly-v0.5.0
 
  * fix for gmpxx build

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

diff --git a/utils/poly/src/poly.cc b/utils/poly/src/poly.cc
@@ -13,7 +13,7 @@ using namespace smlp;
 namespace {
 struct Match {
 
-	/* Match could be a partial function (if . was at the end of the arguments).
+	/* Match could be a partial function (if . was on of the arguments).
 	 * This (conjunction) of constraints are required to be satisfied in
 	 * order for Match() to produce a value. */
 	vec<sptr<form2>> constraints;