Document changes in CHANGELOG. Refs #618.

ivanperez-keera · ivanperez-keera · commit 2ff7d9f9e4a5 · 2025-05-07T20:23:06.000-07:00
diff --git a/copilot-c99/CHANGELOG b/copilot-c99/CHANGELOG
@@ -1,3 +1,6 @@
+2025-05-07
+        * Version bump (4.4). (#618)
+
 2025-03-07
         * Version bump (4.3). (#604)
 
diff --git a/copilot-core/CHANGELOG b/copilot-core/CHANGELOG
@@ -1,4 +1,5 @@
-2025-04-21
+2025-05-07
+        * Version bump (4.4). (#618)
         * Remove deprecated Copilot.Core.Type.uTypeType. (#615)
 
 2025-03-07
diff --git a/copilot-interpreter/CHANGELOG b/copilot-interpreter/CHANGELOG
@@ -1,3 +1,6 @@
+2025-05-07
+        * Version bump (4.4). (#618)
+
 2025-03-07
         * Version bump (4.3). (#604)
 
diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG
@@ -1,3 +1,6 @@
+2025-05-07
+        * Version bump (4.4). (#618)
+
 2025-03-07
         * Version bump (4.3). (#604)
         * Fix typo in documentation. (#587)
diff --git a/copilot-libraries/CHANGELOG b/copilot-libraries/CHANGELOG
@@ -1,3 +1,6 @@
+2025-05-07
+        * Version bump (4.4). (#618)
+
 2025-03-07
         * Version bump (4.3). (#604)
         * Remove deprecated function Copilot.Library.Utils.(!!). (#599)
diff --git a/copilot-prettyprinter/CHANGELOG b/copilot-prettyprinter/CHANGELOG
@@ -1,3 +1,6 @@
+2025-05-07
+        * Version bump (4.4). (#618)
+
 2025-03-07
         * Version bump (4.3). (#604)
         * Update pretty-printing to handle Props. (#254)
diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
@@ -1,4 +1,5 @@
-2025-04-17
+2025-05-07
+        * Version bump (4.4). (#618)
         * Translate quantifiers correctly in Kind2 backend. (#594)
 
 2025-03-07
diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG
@@ -1,4 +1,5 @@
-2025-04-18
+2025-05-07
+        * Version bump (4.4). (#618)
         * Update build status badge URL. (#612)
 
 2025-03-07
