Document version bump. Refs #298.

ivanperez-keera · ivanperez-keera · commit ef56d50a5efb · 2022-03-07T19:55:38.000-05:00
[ci skip]
diff --git a/copilot-c99/CHANGELOG b/copilot-c99/CHANGELOG
@@ -1,3 +1,6 @@
+2022-03-07
+        * Version bump (3.8). (#298)
+
 2022-01-07
         * Version bump (3.7). (#287)
         * Guard against empty specs. (#274)
diff --git a/copilot-core/CHANGELOG b/copilot-core/CHANGELOG
@@ -1,3 +1,6 @@
+2022-03-07
+        * Version bump (3.8). (#298)
+
 2022-01-07
         * Version bump (3.7). (#287)
         * Make imports explicit, reorganize imports. (#277)
diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG
@@ -1,4 +1,5 @@
 2022-03-07
+        * Version bump (3.8). (#298)
         * Introduce testing infrastructure. (#271)
 
 2022-01-07
diff --git a/copilot-libraries/CHANGELOG b/copilot-libraries/CHANGELOG
@@ -1,3 +1,6 @@
+2022-01-07
+        * Version bump (3.8). (#298)
+
 2022-01-07
         * Version bump (3.7). (#287)
 
diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
@@ -1,3 +1,6 @@
+2022-03-07
+        * Version bump (3.8). (#298)
+
 2022-01-07
         * Version bump (3.7). (#287)
         * Relax version contraints on what4. (#277)
diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG
@@ -1,3 +1,6 @@
+2022-03-07
+        * Version bump (3.8). (#298)
+
 2022-01-07
         * Version bump (3.7). (#287)
         * Add example with nested structs. (#275)

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`2022-03-07`
	`2`	`+ * Version bump (3.8). (#298)`
`2`	`3`	`* Introduce testing infrastructure. (#271)`
`3`	`4`
`4`	`5`	`2022-01-07`