Document changes in CHANGELOG. Refs #487.

ivanperez-keera · ivanperez-keera · commit d3f5a5d99e83 · 2024-01-07T23:31:42.000Z
diff --git a/copilot-c99/CHANGELOG b/copilot-c99/CHANGELOG
@@ -1,4 +1,5 @@
-2024-01-06
+2024-01-07
+        * Version bump (3.18). (#487)
         * Change return type of main generated for tests. (#468)
         * Print constants in tests using portable suffixes. (#471).
         * Pass output arrays as arguments to trigger argument functions. (#431)
diff --git a/copilot-core/CHANGELOG b/copilot-core/CHANGELOG
@@ -1,3 +1,6 @@
+2024-01-07
+        * Version bump (3.18). (#487)
+
 2023-11-07
         * Version bump (3.17). (#466)
         * Compliance with style guide. (#457)
diff --git a/copilot-interpreter/CHANGELOG b/copilot-interpreter/CHANGELOG
@@ -1,3 +1,6 @@
+2024-01-07
+        * Version bump (3.18). (#487)
+
 2023-11-07
         * Version bump (3.17). (#466)
         * Replace uses of deprecated functions. (#457)
diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG
@@ -1,4 +1,5 @@
-2023-12-27
+2024-01-07
+        * Version bump (3.18). (#487)
         * Add type annotation to help type inference engine. (#469)
         * Rename forall to forAll. (#470)
 
diff --git a/copilot-libraries/CHANGELOG b/copilot-libraries/CHANGELOG
@@ -1,4 +1,5 @@
-2023-12-27
+2024-01-07
+        * Version bump (3.18). (#487)
         * Introduce testing infrastructure for Copilot.Library. (#475)
         * Replace uses of forall with forAll. (#470)
 
diff --git a/copilot-prettyprinter/CHANGELOG b/copilot-prettyprinter/CHANGELOG
@@ -1,3 +1,6 @@
+2024-01-07
+        * Version bump (3.18). (#487)
+
 2023-11-07
         * Version bump (3.17). (#466)
 
diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
@@ -1,4 +1,5 @@
-2023-12-27
+2024-01-07
+        * Version bump (3.18). (#487)
         * Introduce testing infrastructure for Copilot.Theorem.What4. (#474)
         * Replace uses of forall with forAll. (#470)
 
diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG
@@ -1,4 +1,5 @@
 2024-01-07
+        * Version bump (3.18). (#487)
         * Enable tests for copilot-theorem in CI script. (#474)
         * Enable tests for copilot-libraries in CI script. (#475)
         * Replace uses of forall with forAll. (#470)

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`2024-01-07`
	`2`	`+ * Version bump (3.18). (#487)`
`2`	`3`	`* Enable tests for copilot-theorem in CI script. (#474)`
`3`	`4`	`* Enable tests for copilot-libraries in CI script. (#475)`
`4`	`5`	`* Replace uses of forall with forAll. (#470)`