Document changes in CHANGELOG. Refs #512.

ivanperez-keera · ivanperez-keera · commit 3a2be02e2323 · 2024-05-08T06:22:31.000Z
diff --git a/copilot-c99/CHANGELOG b/copilot-c99/CHANGELOG
@@ -1,3 +1,6 @@
+2024-05-07
+        * Version bump (3.19.1). (#512)
+
 2024-03-07
         * Version bump (3.19). (#504)
 
diff --git a/copilot-core/CHANGELOG b/copilot-core/CHANGELOG
@@ -1,3 +1,6 @@
+2024-05-07
+        * Version bump (3.19.1). (#512)
+
 2024-03-07
         * Version bump (3.19). (#504)
         * Remove deprecated functions in Copilot.Core.Type and
diff --git a/copilot-interpreter/CHANGELOG b/copilot-interpreter/CHANGELOG
@@ -1,3 +1,6 @@
+2024-05-07
+        * Version bump (3.19.1). (#512)
+
 2024-03-07
         * Version bump (3.19). (#504)
 
diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG
@@ -1,3 +1,6 @@
+2024-05-07
+        * Version bump (3.19.1). (#512)
+
 2024-03-07
         * Version bump (3.19). (#504)
 
diff --git a/copilot-libraries/CHANGELOG b/copilot-libraries/CHANGELOG
@@ -1,3 +1,6 @@
+2024-05-07
+        * Version bump (3.19.1). (#512)
+
 2024-03-07
         * Version bump (3.19). (#504)
 
diff --git a/copilot-prettyprinter/CHANGELOG b/copilot-prettyprinter/CHANGELOG
@@ -1,3 +1,6 @@
+2024-05-07
+        * Version bump (3.19.1). (#512)
+
 2024-03-07
         * Version bump (3.19). (#504)
 
diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
@@ -1,4 +1,5 @@
 2024-05-07
+        * Version bump (3.19.1). (#512)
         * Fix handling of unsatisfiable properties with Kind2. (#495)
         * Remove outdated details from README. (#452)
 
diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG
@@ -1,3 +1,6 @@
+2024-05-07
+        * Version bump (3.19.1). (#512)
+
 2024-03-07
         * Version bump (3.19). (#504)
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`2024-05-07`
	`2`	`+ * Version bump (3.19.1). (#512)`
`2`	`3`	`* Fix handling of unsatisfiable properties with Kind2. (#495)`
`3`	`4`	`* Remove outdated details from README. (#452)`
`4`	`5`