From 798e5d1434d34ca8387679009710166d2fcf3579 Mon Sep 17 00:00:00 2001
From: Ivan Perez <ivan.perezdominguez@nasa.gov>
Date: Wed, 8 Mar 2023 07:15:37 +0000
Subject: [PATCH 1/2] Bump versions and constraints. Refs #422.

---
 copilot-c99/copilot-c99.cabal                     |  4 ++--
 copilot-core/copilot-core.cabal                   |  2 +-
 copilot-interpreter/copilot-interpreter.cabal     |  4 ++--
 copilot-language/copilot-language.cabal           |  8 ++++----
 copilot-libraries/copilot-libraries.cabal         |  4 ++--
 copilot-prettyprinter/copilot-prettyprinter.cabal |  4 ++--
 copilot-theorem/copilot-theorem.cabal             |  6 +++---
 copilot/copilot.cabal                             | 14 +++++++-------
 8 files changed, 23 insertions(+), 23 deletions(-)

diff --git a/copilot-c99/copilot-c99.cabal b/copilot-c99/copilot-c99.cabal
index 4ef9c86d..947ca889 100644
--- a/copilot-c99/copilot-c99.cabal
+++ b/copilot-c99/copilot-c99.cabal
@@ -1,6 +1,6 @@
 cabal-version             : >= 1.10
 name                      : copilot-c99
-version                   : 3.13
+version                   : 3.14
 synopsis                  : A compiler for Copilot targeting C99.
 description               :
   This package is a back-end from Copilot to C.
@@ -45,7 +45,7 @@ library
                           , mtl                 >= 2.2 && < 2.4
                           , pretty              >= 1.1 && < 1.2
 
-                          , copilot-core        >= 3.13  && < 3.14
+                          , copilot-core        >= 3.14  && < 3.15
                           , language-c99        >= 0.2.0 && < 0.3
                           , language-c99-simple >= 0.2.2 && < 0.3
 
diff --git a/copilot-core/copilot-core.cabal b/copilot-core/copilot-core.cabal
index 9363ac61..25268a67 100644
--- a/copilot-core/copilot-core.cabal
+++ b/copilot-core/copilot-core.cabal
@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-core
-version:             3.13
+version:             3.14
 synopsis:            An intermediate representation for Copilot.
 description:
   Intermediate representation for Copilot.
diff --git a/copilot-interpreter/copilot-interpreter.cabal b/copilot-interpreter/copilot-interpreter.cabal
index c51d3e92..986616e9 100644
--- a/copilot-interpreter/copilot-interpreter.cabal
+++ b/copilot-interpreter/copilot-interpreter.cabal
@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-interpreter
-version:             3.13
+version:             3.14
 synopsis:            Interpreter for Copilot.
 description:
   Interpreter for Copilot.
@@ -44,7 +44,7 @@ library
     base       >= 4.9 && < 5,
     pretty     >= 1.0 && < 1.2,
 
-    copilot-core >= 3.13 && < 3.14
+    copilot-core >= 3.14 && < 3.15
 
   exposed-modules:
 
diff --git a/copilot-language/copilot-language.cabal b/copilot-language/copilot-language.cabal
index 3c6a7d6e..abdcc032 100644
--- a/copilot-language/copilot-language.cabal
+++ b/copilot-language/copilot-language.cabal
@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-language
-version:             3.13
+version:             3.14
 synopsis:            A Haskell-embedded DSL for monitoring hard real-time
                      distributed systems.
 description:
@@ -42,9 +42,9 @@ library
                , data-reify            >= 0.6 && < 0.7
                , mtl                   >= 2.0 && < 3
 
-               , copilot-core          >= 3.13 && < 3.14
-               , copilot-interpreter   >= 3.13 && < 3.14
-               , copilot-theorem       >= 3.13 && < 3.14
+               , copilot-core          >= 3.14 && < 3.15
+               , copilot-interpreter   >= 3.14 && < 3.15
+               , copilot-theorem       >= 3.14 && < 3.15
 
   exposed-modules: Copilot.Language
                  , Copilot.Language.Operators.BitWise
diff --git a/copilot-libraries/copilot-libraries.cabal b/copilot-libraries/copilot-libraries.cabal
index f71d2701..e7cbaa78 100644
--- a/copilot-libraries/copilot-libraries.cabal
+++ b/copilot-libraries/copilot-libraries.cabal
@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-libraries
-version:             3.13
+version:             3.14
 synopsis:            Libraries for the Copilot language.
 description:
   Libraries for the Copilot language.
@@ -41,7 +41,7 @@ library
                , containers       >= 0.4 && < 0.7
                , mtl              >= 2.0 && < 2.4
                , parsec           >= 2.0 && < 3.2
-               , copilot-language >= 3.13 && < 3.14
+               , copilot-language >= 3.14 && < 3.15
 
   exposed-modules:
       Copilot.Library.Libraries
diff --git a/copilot-prettyprinter/copilot-prettyprinter.cabal b/copilot-prettyprinter/copilot-prettyprinter.cabal
index e6e15ba1..30e543eb 100644
--- a/copilot-prettyprinter/copilot-prettyprinter.cabal
+++ b/copilot-prettyprinter/copilot-prettyprinter.cabal
@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-prettyprinter
-version:             3.13
+version:             3.14
 synopsis:            A prettyprinter of Copilot Specifications.
 description:
   A prettyprinter of Copilot specifications.
@@ -45,7 +45,7 @@ library
     base   >= 4.9 && < 5,
     pretty >= 1.0 && < 1.2,
 
-    copilot-core >= 3.13 && < 3.14
+    copilot-core >= 3.14 && < 3.15
 
   exposed-modules:
 
diff --git a/copilot-theorem/copilot-theorem.cabal b/copilot-theorem/copilot-theorem.cabal
index aabf2371..ba285555 100644
--- a/copilot-theorem/copilot-theorem.cabal
+++ b/copilot-theorem/copilot-theorem.cabal
@@ -14,7 +14,7 @@ description:
   <https://copilot-language.github.io>.
 
 
-version                   : 3.13
+version                   : 3.14
 license                   : BSD3
 license-file              : LICENSE
 maintainer                : Ivan Perez <ivan.perezdominguez@nasa.gov>
@@ -63,8 +63,8 @@ library
                           , xml                   >= 1.3 && < 1.4
                           , what4                 >= 1.3 && < 1.5
 
-                          , copilot-core          >= 3.13 && < 3.14
-                          , copilot-prettyprinter >= 3.13 && < 3.14
+                          , copilot-core          >= 3.14 && < 3.15
+                          , copilot-prettyprinter >= 3.14 && < 3.15
 
   exposed-modules         : Copilot.Theorem
                           , Copilot.Theorem.Prove
diff --git a/copilot/copilot.cabal b/copilot/copilot.cabal
index bc6dc9c9..f1210996 100644
--- a/copilot/copilot.cabal
+++ b/copilot/copilot.cabal
@@ -1,5 +1,5 @@
 name:                copilot
-version:             3.13
+version:             3.14
 cabal-version:       >= 1.10
 license:             BSD3
 license-file:        LICENSE
@@ -52,12 +52,12 @@ library
                      , directory             >= 1.3  && < 1.4
                      , filepath              >= 1.4  && < 1.5
 
-                     , copilot-core          >= 3.13 && < 3.14
-                     , copilot-theorem       >= 3.13 && < 3.14
-                     , copilot-language      >= 3.13 && < 3.14
-                     , copilot-libraries     >= 3.13 && < 3.14
-                     , copilot-c99           >= 3.13 && < 3.14
-                     , copilot-prettyprinter >= 3.13 && < 3.14
+                     , copilot-core          >= 3.14 && < 3.15
+                     , copilot-theorem       >= 3.14 && < 3.15
+                     , copilot-language      >= 3.14 && < 3.15
+                     , copilot-libraries     >= 3.14 && < 3.15
+                     , copilot-c99           >= 3.14 && < 3.15
+                     , copilot-prettyprinter >= 3.14 && < 3.15
 
 
     exposed-modules: Language.Copilot, Language.Copilot.Main

From c0d72be7709deb07be610f9a672f2abd63748585 Mon Sep 17 00:00:00 2001
From: Ivan Perez <ivan.perezdominguez@nasa.gov>
Date: Wed, 8 Mar 2023 07:17:44 +0000
Subject: [PATCH 2/2] Document changes in CHANGELOG. Refs #422.

---
 copilot-c99/CHANGELOG           | 3 +++
 copilot-core/CHANGELOG          | 3 ++-
 copilot-interpreter/CHANGELOG   | 3 +++
 copilot-language/CHANGELOG      | 1 +
 copilot-libraries/CHANGELOG     | 3 +++
 copilot-prettyprinter/CHANGELOG | 3 +++
 copilot-theorem/CHANGELOG       | 1 +
 copilot/CHANGELOG               | 1 +
 8 files changed, 17 insertions(+), 1 deletion(-)

diff --git a/copilot-c99/CHANGELOG b/copilot-c99/CHANGELOG
index d1d0dec9..e4f0b899 100644
--- a/copilot-c99/CHANGELOG
+++ b/copilot-c99/CHANGELOG
@@ -1,3 +1,6 @@
+2023-03-07
+        * Version bump (3.14). (#422)
+
 2023-01-07
         * Version bump (3.13). (#406)
         * Declare local array variables in generated guards as pointers. (#401)
diff --git a/copilot-core/CHANGELOG b/copilot-core/CHANGELOG
index 83ac6d1a..d4846f90 100644
--- a/copilot-core/CHANGELOG
+++ b/copilot-core/CHANGELOG
@@ -1,4 +1,5 @@
-2023-03-03
+2023-03-07
+        * Version bump (3.14). (#422)
         * Remove Copilot.Core.PrettyDot. (#409)
         * Fix formatting error in CHANGELOG. (#414)
         * Remove module space Copilot.Core.Interpret. (#410)
diff --git a/copilot-interpreter/CHANGELOG b/copilot-interpreter/CHANGELOG
index 60c54300..60fabe2e 100644
--- a/copilot-interpreter/CHANGELOG
+++ b/copilot-interpreter/CHANGELOG
@@ -1,3 +1,6 @@
+2023-03-07
+        * Version bump (3.14). (#422)
+
 2023-01-07
         * Version bump (3.13). (#406)
 
diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG
index 71287191..46ffa999 100644
--- a/copilot-language/CHANGELOG
+++ b/copilot-language/CHANGELOG
@@ -1,4 +1,5 @@
 2023-03-07
+        * Version bump (3.14). (#422)
         * Remove function Copilot.Language.prettyPrint. (#412)
         * Adjust to work with GHC 9.4. (#423)
 
diff --git a/copilot-libraries/CHANGELOG b/copilot-libraries/CHANGELOG
index 305a7384..f4bc0841 100644
--- a/copilot-libraries/CHANGELOG
+++ b/copilot-libraries/CHANGELOG
@@ -1,3 +1,6 @@
+2023-03-07
+        * Version bump (3.14). (#422)
+
 2023-01-07
         * Version bump (3.13). (#406)
 
diff --git a/copilot-prettyprinter/CHANGELOG b/copilot-prettyprinter/CHANGELOG
index f42d560b..ca076385 100644
--- a/copilot-prettyprinter/CHANGELOG
+++ b/copilot-prettyprinter/CHANGELOG
@@ -1,3 +1,6 @@
+2023-03-07
+        * Version bump (3.14). (#422)
+
 2023-01-07
         * Version bump (3.13). (#406)
 
diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
index 6d6b827f..ac38a74b 100644
--- a/copilot-theorem/CHANGELOG
+++ b/copilot-theorem/CHANGELOG
@@ -1,4 +1,5 @@
 2023-03-07
+        * Version bump (3.14). (#422)
         * Adjust contraints on version of what4. (#423)
 
 2023-01-07
diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG
index d31f3610..0b3d7cde 100644
--- a/copilot/CHANGELOG
+++ b/copilot/CHANGELOG
@@ -1,4 +1,5 @@
 2023-03-07
+        * Version bump (3.14). (#422)
         * Replace import of Copilot.Language.prettyPrint. (#412)
         * Re-structure README. (#415)
         * Update README to reflect support for GHC 9.4. (#423)