Merge branch 'release-3.8'. Close #298.

ivanperez-keera · ivanperez-keera · commit 8202bac3ecdf · 2022-03-07T20:22:47.000-05:00
diff --git a/copilot-c99/CHANGELOG b/copilot-c99/CHANGELOG
@@ -1,3 +1,8 @@
+2022-03-07
+        * Version bump (3.8). (#298)
+        * Hide internal modules deprecated in Copilot 3.5. (#289)
+        * Mark package as uncurated to avoid modification. (#288)
+
 2022-01-07
         * Version bump (3.7). (#287)
         * Guard against empty specs. (#274)
diff --git 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.7
+version                   : 3.8
 synopsis                  : A compiler for Copilot targeting C99.
 description               :
   This package is a back-end from Copilot to C.
@@ -50,7 +50,7 @@ library
                           , mtl                 >= 2.2 && < 2.3
                           , pretty              >= 1.1 && < 1.2
 
-                          , copilot-core        >= 3.7   && < 3.8
+                          , copilot-core        >= 3.8   && < 3.9
                           , language-c99        >= 0.1.1 && < 0.2
                           , language-c99-util   >= 0.1.1 && < 0.2
                           , language-c99-simple >= 0.1.1 && < 0.2
diff --git a/copilot-core/CHANGELOG b/copilot-core/CHANGELOG
@@ -1,3 +1,8 @@
+2022-03-07
+        * Version bump (3.8). (#298)
+        * Replaces uses of the internal Dynamic with base:Data.Dynamic. (#266)
+        * Mark package as uncurated to avoid modification. (#288)
+
 2022-01-07
         * Version bump (3.7). (#287)
         * Make imports explicit, reorganize imports. (#277)
diff --git 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.7
+version:             3.8
 synopsis:            An intermediate representation for Copilot.
 description:
   Intermediate representation for Copilot.
diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG
@@ -1,5 +1,9 @@
 2022-03-07
+        * Version bump (3.8). (#298)
         * Introduce testing infrastructure. (#271)
+        * Remove deprecated module Copilot. (#291)
+        * Remove deprecated type StructArg. (#290)
+        * Mark package as uncurated to avoid modification. (#288)
 
 2022-01-07
         * Version bump (3.7). (#287)
diff --git 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.7
+version:             3.8
 synopsis:            A Haskell-embedded DSL for monitoring hard real-time
                      distributed systems.
 description:
@@ -42,8 +42,8 @@ library
                , data-reify      >= 0.6 && < 0.7
                , mtl             >= 2.0 && < 3
 
-               , copilot-core    >= 3.7 && < 3.8
-               , copilot-theorem >= 3.7 && < 3.8
+               , copilot-core    >= 3.8 && < 3.9
+               , copilot-theorem >= 3.8 && < 3.9
 
   exposed-modules: Copilot.Language
                  , Copilot.Language.Operators.BitWise
diff --git a/copilot-libraries/CHANGELOG b/copilot-libraries/CHANGELOG
@@ -1,3 +1,7 @@
+2022-01-07
+        * Version bump (3.8). (#298)
+        * Mark package as uncurated to avoid modification. (#288)
+
 2022-01-07
         * Version bump (3.7). (#287)
 
diff --git 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.7
+version:             3.8
 synopsis:            Libraries for the Copilot language.
 description:
   Libraries for the Copilot language.
@@ -43,7 +43,7 @@ library
                , data-reify       >= 0.6 && < 0.7
                , mtl              >= 2.0 && < 2.3
                , parsec           >= 2.0 && < 3.2
-               , copilot-language >= 3.7 && < 3.8
+               , copilot-language >= 3.8 && < 3.9
 
   exposed-modules:
       Copilot.Library.Libraries
diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
@@ -1,3 +1,7 @@
+2022-03-07
+        * Version bump (3.8). (#298)
+        * Mark package as uncurated to avoid modification. (#288)
+
 2022-01-07
         * Version bump (3.7). (#287)
         * Relax version contraints on what4. (#277)
diff --git a/copilot-theorem/copilot-theorem.cabal b/copilot-theorem/copilot-theorem.cabal
@@ -14,7 +14,7 @@ description:
   <https://copilot-language.github.io>.
 
 
-version                   : 3.7
+version                   : 3.8
 license                   : BSD3
 license-file              : LICENSE
 maintainer                : Ivan Perez <ivan.perezdominguez@nasa.gov>
@@ -74,7 +74,7 @@ library
                           , xml           >= 1.3 && < 1.4
                           , what4         >= 1.1 && < 1.3
 
-                          , copilot-core  >= 3.7 && < 3.8
+                          , copilot-core  >= 3.8 && < 3.9
 
   exposed-modules         : Copilot.Theorem
                           , Copilot.Theorem.Prove
diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG
@@ -1,3 +1,7 @@
+2022-03-07
+        * Version bump (3.8). (#298)
+        * Mark package as uncurated to avoid modification. (#288)
+
 2022-01-07
         * Version bump (3.7). (#287)
         * Add example with nested structs. (#275)
diff --git a/copilot/copilot.cabal b/copilot/copilot.cabal
@@ -1,5 +1,5 @@
 name:                copilot
-version:             3.7
+version:             3.8
 cabal-version:       >= 1.10
 license:             BSD3
 license-file:        LICENSE
@@ -52,11 +52,11 @@ library
                      , directory            >= 1.3  && < 1.4
                      , filepath             >= 1.4  && < 1.5
 
-                     , copilot-core         >= 3.7  && < 3.8
-                     , copilot-theorem      >= 3.7  && < 3.8
-                     , copilot-language     >= 3.7  && < 3.8
-                     , copilot-libraries    >= 3.7  && < 3.8
-                     , copilot-c99          >= 3.7  && < 3.8
+                     , copilot-core         >= 3.8  && < 3.9
+                     , copilot-theorem      >= 3.8  && < 3.9
+                     , copilot-language     >= 3.8  && < 3.9
+                     , copilot-libraries    >= 3.8  && < 3.9
+                     , copilot-c99          >= 3.8  && < 3.9
 
 
     exposed-modules: Language.Copilot, Language.Copilot.Main
