Document changes in the CHANGELOG. Refs #79.

Author: RyanGlScott

copilot-verifier/CHANGELOG

@@ -1,5 +1,6 @@
-2025-01-31
+2025-02-03
         * Add `smtSolver` option to `VerifierOptions`. (#78)
+        * Add `smtFloatMode` option to `VerifierOptions`. (#79)
 
 2025-01-20
         * Version bump (4.2). (#76)