Document changes in CHANGELOG. Refs #51.

Copilot-Language · Jul 30, 2024 · c753c51 · c753c51
1 parent f621727
commit c753c51
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/copilot-verifier/CHANGELOG b/copilot-verifier/CHANGELOG
@@ -1,4 +1,6 @@
-2024-07-18
+2024-07-30
+        * When using `Noisy` verbosity, always log proof goals related to the
+          core correspondence proof, even if the goals are trivial. (#51)
         * When using `Noisy` verbosity, log more information about which proof
           goals arise before or after calling the `step()` function. (#52)