Document changes in CHANGELOG. Refs #85.

RyanGlScott · RyanGlScott · commit d20fc8f767ec · 2025-05-08T12:55:23.000-04:00
diff --git a/copilot-verifier/CHANGELOG b/copilot-verifier/CHANGELOG
@@ -1,3 +1,6 @@
+2025-05-08
+        * Version bump (4.4). (#85)
+
 2025-03-10
         * Version bump (4.3). (#82)
         * Add `smtSolver` option to `VerifierOptions`. (#78)
