Document changes in CHANGELOG. Refs #642.

ivanperez-keera · ivanperez-keera · commit 3d8674a71e97 · 2025-07-08T00:25:01.000-07:00
diff --git a/copilot-bluespec/CHANGELOG b/copilot-bluespec/CHANGELOG
@@ -1,4 +1,5 @@
-2025-05-18
+2025-07-07
+        * Version bump (4.5). (#642)
         * Include `copilot-bluespec` in mainline `copilot` repo. (#623)
 
 2025-05-08
diff --git a/copilot-c99/CHANGELOG b/copilot-c99/CHANGELOG
@@ -1,3 +1,6 @@
+2025-07-07
+        * Version bump (4.5). (#642)
+
 2025-05-07
         * Version bump (4.4). (#618)
 
diff --git a/copilot-core/CHANGELOG b/copilot-core/CHANGELOG
@@ -1,4 +1,5 @@
-2025-06-28
+2025-07-07
+        * Version bump (4.5). (#642)
         * Remove deprecated fields of Copilot.Core.Expr.UExpr. (#636)
 
 2025-05-07
diff --git a/copilot-interpreter/CHANGELOG b/copilot-interpreter/CHANGELOG
@@ -1,3 +1,6 @@
+2025-07-07
+        * Version bump (4.5). (#642)
+
 2025-05-07
         * Version bump (4.4). (#618)
 
diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG
@@ -1,3 +1,6 @@
+2025-07-07
+        * Version bump (4.5). (#642)
+
 2025-05-07
         * Version bump (4.4). (#618)
 
diff --git a/copilot-libraries/CHANGELOG b/copilot-libraries/CHANGELOG
@@ -1,3 +1,6 @@
+2025-07-07
+        * Version bump (4.5). (#642)
+
 2025-05-07
         * Version bump (4.4). (#618)
 
diff --git a/copilot-prettyprinter/CHANGELOG b/copilot-prettyprinter/CHANGELOG
@@ -1,3 +1,6 @@
+2025-07-07
+        * Version bump (4.5). (#642)
+
 2025-05-07
         * Version bump (4.4). (#618)
 
diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
@@ -1,4 +1,5 @@
-2025-07-05
+2025-07-07
+        * Version bump (4.5). (#642)
         * Removed unused pragmas. (#613)
         * Relax version constraint on what4. (#611)
 
diff --git a/copilot-verifier/CHANGELOG b/copilot-verifier/CHANGELOG
@@ -1,4 +1,5 @@
-2025-06-20
+2025-07-07
+        * Version bump (4.5). (#642)
         * Include `copilot-verifier` in mainline `copilot` repo. (#622)
 
 2025-05-08
diff --git a/copilot-visualizer/CHANGELOG b/copilot-visualizer/CHANGELOG
@@ -1,4 +1,5 @@
-2025-06-27
+2025-07-07
+        * Version bump (4.5). (#642)
         * Include in mainline. (#624)
 
 2025-06-26
diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG
@@ -1,3 +1,6 @@
+2025-07-07
+        * Version bump (4.5). (#642)
+
 2025-05-07
         * Version bump (4.4). (#618)
         * Update build status badge URL. (#612)
