changes/thanks

LeventErkok · Jul 19, 2024 · 26f77cc · 26f77cc
1 parent 88581bd
commit 26f77cc
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -16,6 +16,11 @@
     which makes using optimization functions easier. These are simple wrappers over the existing optimization routines,
     simplifying their interface.
 
+  * Change how optimization results are presented when the underlying metric space is different from the type
+    being optimized. As noted in https://github.com/LeventErkok/sbv/issues/716, the format SBV used was confusing.
+    We now be more explicit, and print the original value in its own right, along with the metric-space value.
+    Thanks to Andrew Anderson for reporting.
+
 ### Version 10.10, 2024-05-11
 
   * Add EqSymbolic, OrdSymbolic and Mergeable instances for NonEmpty type

diff --git a/README.md b/README.md
@@ -106,6 +106,7 @@ The following people made major contributions to SBV, by developing new features
 The following people reported bugs, provided comments/feedback, or contributed to the development of SBV in various ways:
 Andreas Abel,
 Ara Adkins,
+Andrew Anderson,
 Kanishka Azimi,
 Markus Barenhoff,
 Reid Barton,