Document changes in CHANGELOG. Refs #82.

RyanGlScott · RyanGlScott · commit 94923b21768e · 2025-03-10T11:18:18.000-04:00
diff --git a/copilot-verifier/CHANGELOG b/copilot-verifier/CHANGELOG
@@ -1,4 +1,5 @@
-2025-02-03
+2025-03-10
+        * Version bump (4.3). (#82)
         * Add `smtSolver` option to `VerifierOptions`. (#78)
         * Add `smtFloatMode` option to `VerifierOptions`. (#79)
 
