Document changes in the CHANGELOG. Refs #78.

RyanGlScott · RyanGlScott · commit 0299c912a073 · 2025-01-31T13:46:02.000-05:00
diff --git a/copilot-verifier/CHANGELOG b/copilot-verifier/CHANGELOG
@@ -1,3 +1,6 @@
+2025-01-31
+        * Add `smtSolver` option to `VerifierOptions`. (#78)
+
 2025-01-20
         * Version bump (4.2). (#76)
         * Reject specs that use multiple triggers with the same name. (#74)
