Document changes in CHANGELOG. Refs #604.

ivanperez-keera · ivanperez-keera · commit 04f7bc4d6d78 · 2025-03-07T17:12:58.000-08:00
diff --git a/copilot-c99/CHANGELOG b/copilot-c99/CHANGELOG
@@ -1,3 +1,6 @@
+2025-03-07
+        * Version bump (4.3). (#604)
+
 2025-01-07
         * Version bump (4.2). (#577)
         * Remove uses of Copilot.Core.Expr.UExpr.uExprType. (#565)
diff --git a/copilot-core/CHANGELOG b/copilot-core/CHANGELOG
@@ -1,4 +1,5 @@
-2025-02-28
+2025-03-07
+        * Version bump (4.3). (#604)
         * Fix typo in documentation. (#587)
         * Add a Show instance for Type. (#589)
         * Add a Prop type to capture how a property is quantified. (#254)
diff --git a/copilot-interpreter/CHANGELOG b/copilot-interpreter/CHANGELOG
@@ -1,3 +1,6 @@
+2025-03-07
+        * Version bump (4.3). (#604)
+
 2025-01-07
         * Version bump (4.2). (#577)
 
diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG
@@ -1,4 +1,5 @@
 2025-03-07
+        * Version bump (4.3). (#604)
         * Fix typo in documentation. (#587)
         * Record how a Property's underlying proposition is quantified. (#254)
         * Remove deprecated function Copilot.Language.Operators.Array.(.!!).
diff --git a/copilot-libraries/CHANGELOG b/copilot-libraries/CHANGELOG
@@ -1,4 +1,5 @@
 2025-03-07
+        * Version bump (4.3). (#604)
         * Remove deprecated function Copilot.Library.Utils.(!!). (#599)
 
 2025-01-07
diff --git a/copilot-prettyprinter/CHANGELOG b/copilot-prettyprinter/CHANGELOG
@@ -1,4 +1,5 @@
-2025-02-28
+2025-03-07
+        * Version bump (4.3). (#604)
         * Update pretty-printing to handle Props. (#254)
 
 2025-01-07
diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
@@ -1,4 +1,5 @@
-2025-02-28
+2025-03-07
+        * Version bump (4.3). (#604)
         * Fix multiple typos in README. (#560)
         * Fix typo in documentation. (#587)
         * Add function to produce counterexamples for invalid properties. (#589)
diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG
@@ -1,4 +1,5 @@
-2025-03-05
+2025-03-07
+        * Version bump (4.3). (#604)
         * Include missing dependencies in installation instructions. (#591)
         * Update version of GHC in README. (#590)
         * Add example of how to use proveWithCounterExample. (#589)

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`2025-03-07`
	`2`	`+ * Version bump (4.3). (#604)`
`2`	`3`	`* Fix typo in documentation. (#587)`
`3`	`4`	`* Record how a Property's underlying proposition is quantified. (#254)`
`4`	`5`	`* Remove deprecated function Copilot.Language.Operators.Array.(.!!).`