Merge branch 'release-3.19.1'. Close #512.

ivanperez-keera · ivanperez-keera · commit 9e4b1cbf8ec2 · 2024-05-08T00:44:40.000-07:00
**Description** Version 3.19.1 of Copilot is ready and should be closed and published on Hackage. **Type** - Management: release and publication. **Additional context** None. **Requester** - Ivan Perez. **Method to check presence of bug** Not applicable (not a bug). **Expected result** - Cabal files indicate new version number, constraints are adjusted as needed, commit is tagged with version number, and packages are published on Hackage. - The following docker image installs copilot enforcing the new version via compiler constraints. It prints the message "Success" at the end if all completes correctly, and shows an error message otherwise. ```Dockerfile FROM ubuntu:focal ENV DEBIAN_FRONTEND=noninteractive RUN apt-get update RUN apt-get install --yes libz-dev pkg-config RUN apt-get install --yes git RUN apt-get install --yes wget RUN mkdir -p $HOME/.ghcup/bin RUN wget https://downloads.haskell.org/~ghcup/0.1.17.7/x86_64-linux-ghcup-0.1.17.7 -O $HOME/.ghcup/bin/ghcup RUN chmod a+x $HOME/.ghcup/bin/ghcup ENV PATH=$PATH:/root/.ghcup/bin/ ENV PATH=$PATH:/root/.cabal/bin/ RUN apt-get install --yes curl RUN apt-get install --yes gcc g++ make libgmp3-dev RUN ghcup install ghc 9.6.3 RUN ghcup install cabal 3.4 RUN ghcup set ghc 9.6.3 RUN cabal update SHELL ["/bin/bash", "-c"] CMD git clone $REPO \ && cd $NAME \ && git checkout $COMMIT \ && cabal install --lib copilot**/ \ --constraint="copilot==3.19.1" \ --constraint="copilot-c99==3.19.1" \ --constraint="copilot-core==3.19.1" \ --constraint="copilot-prettyprinter==3.19.1" \ --constraint="copilot-interpreter==3.19.1" \ --constraint="copilot-language==3.19.1" \ --constraint="copilot-libraries==3.19.1" \ --constraint="copilot-theorem==3.19.1" \ && echo Success ``` Command (substitute variables based on new path after merge): ``` $ docker run -e "REPO=https://github.com/Copilot-Language/copilot" -e "NAME=copilot" -e "COMMIT=<HASH>" -it copilot-verify-512 ``` **Solution implemented** - Cabal files indicate new version number, constraints are adjusted as needed, commit is tagged with version number, and packages are published on Hackage. **Further notes** None.
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-c99/copilot-c99.cabal b/copilot-c99/copilot-c99.cabal
@@ -1,6 +1,6 @@
 cabal-version             : >= 1.10
 name                      : copilot-c99
-version                   : 3.19
+version                   : 3.19.1
 synopsis                  : A compiler for Copilot targeting C99.
 description               :
   This package is a back-end from Copilot to C.
@@ -45,9 +45,9 @@ library
                           , mtl                 >= 2.2 && < 2.4
                           , pretty              >= 1.1 && < 1.2
 
-                          , copilot-core        >= 3.19  && < 3.20
-                          , language-c99        >= 0.2.0 && < 0.3
-                          , language-c99-simple >= 0.3   && < 0.4
+                          , copilot-core        >= 3.19.1 && < 3.20
+                          , language-c99        >= 0.2.0  && < 0.3
+                          , language-c99-simple >= 0.3    && < 0.4
 
   exposed-modules         : Copilot.Compile.C99
 
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-core/copilot-core.cabal b/copilot-core/copilot-core.cabal
@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-core
-version:             3.19
+version:             3.19.1
 synopsis:            An intermediate representation for Copilot.
 description:
   Intermediate representation for Copilot.
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-interpreter/copilot-interpreter.cabal b/copilot-interpreter/copilot-interpreter.cabal
@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-interpreter
-version:             3.19
+version:             3.19.1
 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.19 && < 3.20
+    copilot-core >= 3.19.1 && < 3.20
 
   exposed-modules:
 
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-language/copilot-language.cabal b/copilot-language/copilot-language.cabal
@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-language
-version:             3.19
+version:             3.19.1
 synopsis:            A Haskell-embedded DSL for monitoring hard real-time
                      distributed systems.
 description:
@@ -35,16 +35,16 @@ source-repository head
 library
   default-language: Haskell2010
   hs-source-dirs: src
-  build-depends: base                  >= 4.9 && < 5
+  build-depends: base                  >= 4.9    && < 5
 
-               , array                 >= 0.5 && < 0.6
-               , containers            >= 0.4 && < 0.7
-               , data-reify            >= 0.6 && < 0.7
-               , mtl                   >= 2.0 && < 3
+               , array                 >= 0.5    && < 0.6
+               , containers            >= 0.4    && < 0.7
+               , data-reify            >= 0.6    && < 0.7
+               , mtl                   >= 2.0    && < 3
 
-               , copilot-core          >= 3.19 && < 3.20
-               , copilot-interpreter   >= 3.19 && < 3.20
-               , copilot-theorem       >= 3.19 && < 3.20
+               , copilot-core          >= 3.19.1 && < 3.20
+               , copilot-interpreter   >= 3.19.1 && < 3.20
+               , copilot-theorem       >= 3.19.1 && < 3.20
 
   exposed-modules: Copilot.Language
                  , Copilot.Language.Operators.BitWise
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-libraries/copilot-libraries.cabal b/copilot-libraries/copilot-libraries.cabal
@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-libraries
-version:             3.19
+version:             3.19.1
 synopsis:            Libraries for the Copilot language.
 description:
   Libraries for the Copilot language.
@@ -36,12 +36,12 @@ library
 
   hs-source-dirs: src
 
-  build-depends: base             >= 4.9 && < 5
+  build-depends: base             >= 4.9    && < 5
 
-               , containers       >= 0.4 && < 0.7
-               , mtl              >= 2.0 && < 2.4
-               , parsec           >= 2.0 && < 3.2
-               , copilot-language >= 3.19 && < 3.20
+               , containers       >= 0.4    && < 0.7
+               , mtl              >= 2.0    && < 2.4
+               , parsec           >= 2.0    && < 3.2
+               , copilot-language >= 3.19.1 && < 3.20
 
   exposed-modules:
       Copilot.Library.Libraries
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-prettyprinter/copilot-prettyprinter.cabal b/copilot-prettyprinter/copilot-prettyprinter.cabal
@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-prettyprinter
-version:             3.19
+version:             3.19.1
 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.19 && < 3.20
+    copilot-core >= 3.19.1 && < 3.20
 
   exposed-modules:
 
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-theorem/copilot-theorem.cabal b/copilot-theorem/copilot-theorem.cabal
@@ -14,7 +14,7 @@ description:
   <https://copilot-language.github.io>.
 
 
-version                   : 3.19
+version                   : 3.19.1
 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.6
 
-                          , copilot-core          >= 3.19 && < 3.20
-                          , copilot-prettyprinter >= 3.19 && < 3.20
+                          , copilot-core          >= 3.19.1 && < 3.20
+                          , copilot-prettyprinter >= 3.19.1 && < 3.20
 
   exposed-modules         : Copilot.Theorem
                           , Copilot.Theorem.Prove
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)
 
diff --git a/copilot/copilot.cabal b/copilot/copilot.cabal
@@ -1,5 +1,5 @@
 name:                copilot
-version:             3.19
+version:             3.19.1
 cabal-version:       >= 1.10
 license:             BSD3
 license-file:        LICENSE
@@ -47,17 +47,17 @@ library
       -Wall
       -fno-warn-orphans
     build-depends:
-                       base                  >= 4.9  && < 5
-                     , optparse-applicative  >= 0.14 && < 0.19
-                     , directory             >= 1.3  && < 1.4
-                     , filepath              >= 1.4  && < 1.5
-
-                     , copilot-core          >= 3.19 && < 3.20
-                     , copilot-theorem       >= 3.19 && < 3.20
-                     , copilot-language      >= 3.19 && < 3.20
-                     , copilot-libraries     >= 3.19 && < 3.20
-                     , copilot-c99           >= 3.19 && < 3.20
-                     , copilot-prettyprinter >= 3.19 && < 3.20
+                       base                  >= 4.9    && < 5
+                     , optparse-applicative  >= 0.14   && < 0.19
+                     , directory             >= 1.3    && < 1.4
+                     , filepath              >= 1.4    && < 1.5
+
+                     , copilot-core          >= 3.19.1 && < 3.20
+                     , copilot-theorem       >= 3.19.1 && < 3.20
+                     , copilot-language      >= 3.19.1 && < 3.20
+                     , copilot-libraries     >= 3.19.1 && < 3.20
+                     , copilot-c99           >= 3.19.1 && < 3.20
+                     , copilot-prettyprinter >= 3.19.1 && < 3.20
 
 
     exposed-modules: Language.Copilot, Language.Copilot.Main
