copilot-theorem: Document changes in CHANGELOG. Refs #697.

tkann-galois · RyanGlScott · RyanGlScott · commit 6e2fed247bbf · 2026-04-03T18:00:48.000-04:00
Co-authored-by: Ryan Scott &lt;rscott@galois.com&gt;
diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
@@ -1,3 +1,6 @@
+2026-03-31
+        * Handle special Float values correctly for counterexamples. (#697)
+
 2026-03-07
         * Version bump (4.7). (#714)
 
