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

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