Document changes in CHANGELOG. Refs #65.

Copilot-Language · Sep 3, 2024 · e6e0cf9 · e6e0cf9
1 parent d9d3275
commit e6e0cf9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/copilot-verifier/CHANGELOG b/copilot-verifier/CHANGELOG
@@ -1,5 +1,6 @@
 2024-08-03
         * Support building with `crucible-llvm-0.7` and `crux-llvm-0.9`. (#64)
+        * Support GHC 9.4 through 9.8. (#65)
 
 2024-07-30
         * When using `Noisy` verbosity, always log proof goals related to the