Document changes in the CHANGELOG. Refs #63.

Copilot-Language · Sep 9, 2024 · bdae7f3 · bdae7f3
1 parent e8c5a76
commit bdae7f3
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/copilot-verifier/CHANGELOG b/copilot-verifier/CHANGELOG
@@ -1,3 +1,6 @@
+2024-09-09
+        * Support verifying programs that use array updates. (#63)
+
 2024-08-03
         * Support building with `crucible-llvm-0.7` and `crux-llvm-0.9`. (#64)
         * Support GHC 9.4 through 9.8. (#65)