Document changes in CHANGELOG. Refs #532.

ivanperez-keera · ivanperez-keera · commit 2cea27decb7c · 2024-09-08T05:47:15.000Z
diff --git a/copilot-c99/CHANGELOG b/copilot-c99/CHANGELOG
@@ -1,4 +1,5 @@
-2024-09-03
+2024-09-07
+        * Version bump (4.0). (#532)
         * Add support for array updates. (#36)
 
 2024-07-07
diff --git a/copilot-core/CHANGELOG b/copilot-core/CHANGELOG
@@ -1,4 +1,5 @@
-2024-09-03
+2024-09-07
+        * Version bump (4.0). (#532)
         * Update Op3, Array to support array updates. (#36)
 
 2024-07-07
diff --git a/copilot-interpreter/CHANGELOG b/copilot-interpreter/CHANGELOG
@@ -1,4 +1,5 @@
-2024-09-03
+2024-09-07
+        * Version bump (4.0). (#532)
         * Add support for array updates. (#36)
 
 2024-07-07
diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG
@@ -1,4 +1,5 @@
-2024-09-03
+2024-09-07
+        * Version bump (4.0). (#532)
         * Add support for array updates. (#36)
 
 2024-07-07
diff --git a/copilot-libraries/CHANGELOG b/copilot-libraries/CHANGELOG
@@ -1,4 +1,5 @@
-2024-09-03
+2024-09-07
+        * Version bump (4.0). (#532)
         * Rename operator to avoid name clash. (#36)
 
 2024-07-07
diff --git a/copilot-prettyprinter/CHANGELOG b/copilot-prettyprinter/CHANGELOG
@@ -1,4 +1,5 @@
-2024-09-03
+2024-09-07
+        * Version bump (4.0). (#532)
         * Add support for pretty-printing struct update expressions. (#526)
         * Add support for pretty-printing array update expressions. (#36)
 
diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
@@ -1,4 +1,5 @@
-2024-09-03
+2024-09-07
+        * Version bump (4.0). (#532)
         * Add support for struct updates in Copilot.Theorem.What4. (#524)
         * Add support for array updates in Copilot.Theorem.What4. (#36)
 
diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG
@@ -1,4 +1,5 @@
-2024-09-03
+2024-09-07
+        * Version bump (4.0). (#532)
         * Update example to demonstrate struct update support. (#524)
         * Update example to demonstrate array update support. (#36)
 
