Merge branch 'release-4.7'. Close #714.

ivanperez-keera · ivanperez-keera · commit 0c987a7ddcc2 · 2026-03-08T12:54:29.000-07:00
**Description** Version 4.7 of Copilot 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 solution proposed addresses the necessary modification to cabal packages. The following docker image installs all Copilot libraries enforcing the new version via compiler constraints. Packages not currently listed under the cabal.project file are also included. It prints the message "Success" at the end if all completes correctly, and shows an error message otherwise. ``` FROM ubuntu:noble ENV DEBIAN_FRONTEND=noninteractive SHELL ["/bin/bash", "-c"] RUN apt-get update RUN apt-get install --yes \ build-essential \ curl \ git \ libffi-dev \ libgmp3-dev \ libncurses-dev \ libz-dev \ pkg-config \ wget RUN mkdir -p $HOME/.ghcup/bin RUN curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | BOOTSTRAP_HASKELL_MINIMAL=1 BOOTSTRAP_HASKELL_NONINTERACTIVE=1 sh ENV PATH=$PATH:/root/.ghcup/bin/ RUN ghcup install ghc 9.8 RUN ghcup install cabal 3.16 RUN ghcup set ghc 9.8.4 RUN cabal update ENV PATH=$PATH:/root/.cabal/bin/ CMD git clone $REPO \ && cd $NAME \ && git checkout $COMMIT \ && echo " copilot-verifier/copilot-verifier.cabal" >> cabal.project \ && echo " copilot-visualizer/copilot-visualizer.cabal" >> cabal.project \ && cabal install \ --package-env . \ --lib \ --constraint="copilot==4.7" \ --constraint="copilot-bluespec==4.7" \ --constraint="copilot-c99==4.7" \ --constraint="copilot-core==4.7" \ --constraint="copilot-prettyprinter==4.7" \ --constraint="copilot-interpreter==4.7" \ --constraint="copilot-language==4.7" \ --constraint="copilot-libraries==4.7" \ --constraint="copilot-theorem==4.7" \ --constraint="copilot-verifier==4.7" \ --constraint="copilot-visualizer==4.7" \ copilot**/ \ && 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-714 ``` **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-bluespec/CHANGELOG b/copilot-bluespec/CHANGELOG
@@ -1,3 +1,6 @@
+2026-03-07
+        * Version bump (4.7). (#714)
+
 2026-01-07
         * Version bump (4.6.1). (#705)
         * Disable test suite via newly added manual cabal flag. (#673)
diff --git a/copilot-bluespec/copilot-bluespec.cabal b/copilot-bluespec/copilot-bluespec.cabal
@@ -1,6 +1,6 @@
 cabal-version             : >= 1.10
 name                      : copilot-bluespec
-version                   : 4.6.1
+version                   : 4.7
 synopsis                  : A compiler for Copilot targeting FPGAs.
 description               :
   This package is a back-end from Copilot to FPGAs in Bluespec.
@@ -51,8 +51,8 @@ library
                           , ieee754           >= 0.8.0  && < 0.9
                           , pretty            >= 1.1.2  && < 1.2
 
-                          , copilot-core      >= 4.6.1 && < 4.7
-                          , language-bluespec >= 0.1   && < 0.2
+                          , copilot-core      >= 4.7 && < 4.8
+                          , language-bluespec >= 0.1 && < 0.2
 
   exposed-modules         : Copilot.Compile.Bluespec
 
diff --git a/copilot-c99/CHANGELOG b/copilot-c99/CHANGELOG
@@ -1,4 +1,5 @@
-2026-02-16
+2026-03-07
+        * Version bump (4.7). (#714)
         * Raise error when compiling empty arrays or structs. (#695)
 
 2026-01-07
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                   : 4.6.1
+version                   : 4.7
 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        >= 4.6.1 && < 4.7
+                          , copilot-core        >= 4.7   && < 4.8
                           , language-c99        >= 0.2.0 && < 0.3
                           , language-c99-simple >= 0.3   && < 0.4
 
diff --git a/copilot-core/CHANGELOG b/copilot-core/CHANGELOG
@@ -1,3 +1,6 @@
+2026-03-07
+        * Version bump (4.7). (#714)
+
 2026-01-07
         * Version bump (4.6.1). (#705)
 
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:             4.6.1
+version:             4.7
 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 @@
+2026-03-07
+        * Version bump (4.7). (#714)
+
 2026-01-07
         * Version bump (4.6.1). (#705)
 
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:             4.6.1
+version:             4.7
 synopsis:            Interpreter for Copilot.
 description:
   Interpreter for Copilot.
@@ -44,7 +44,7 @@ library
     base       >= 4.9 && < 5,
     pretty     >= 1.0 && < 1.2,
 
-    copilot-core >= 4.6.1 && < 4.7
+    copilot-core >= 4.7 && < 4.8
 
   exposed-modules:
 
diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG
@@ -1,3 +1,6 @@
+2026-03-07
+        * Version bump (4.7). (#714)
+
 2026-01-07
         * Version bump (4.6.1). (#705)
         * Relax version constraint on containers. (#603)
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:             4.6.1
+version:             4.7
 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          >= 4.6.1 && < 4.7
-               , copilot-interpreter   >= 4.6.1 && < 4.7
-               , copilot-theorem       >= 4.6.1 && < 4.7
+               , copilot-core          >= 4.7 && < 4.8
+               , copilot-interpreter   >= 4.7 && < 4.8
+               , copilot-theorem       >= 4.7 && < 4.8
 
   exposed-modules: Copilot.Language
                  , Copilot.Language.Operators.BitWise
diff --git a/copilot-libraries/CHANGELOG b/copilot-libraries/CHANGELOG
@@ -1,3 +1,6 @@
+2026-03-07
+        * Version bump (4.7). (#714)
+
 2026-01-07
         * Version bump (4.6.1). (#705)
         * Relax version constraint on containers. (#603)
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:             4.6.1
+version:             4.7
 synopsis:            Libraries for the Copilot language.
 description:
   Libraries for the Copilot language.
@@ -38,10 +38,10 @@ library
 
   build-depends: base             >= 4.9 && < 5
 
-               , containers       >= 0.4   && < 0.9
-               , mtl              >= 2.0   && < 2.4
-               , parsec           >= 2.0   && < 3.2
-               , copilot-language >= 4.6.1 && < 4.7
+               , containers       >= 0.4 && < 0.9
+               , mtl              >= 2.0 && < 2.4
+               , parsec           >= 2.0 && < 3.2
+               , copilot-language >= 4.7 && < 4.8
 
   exposed-modules:
       Copilot.Library.Libraries
diff --git a/copilot-prettyprinter/CHANGELOG b/copilot-prettyprinter/CHANGELOG
@@ -1,3 +1,6 @@
+2026-03-07
+        * Version bump (4.7). (#714)
+
 2026-01-07
         * Version bump (4.6.1). (#705)
 
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:             4.6.1
+version:             4.7
 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 >= 4.6.1 && < 4.7
+    copilot-core >= 4.7 && < 4.8
 
   exposed-modules:
 
diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
@@ -1,3 +1,6 @@
+2026-03-07
+        * Version bump (4.7). (#714)
+
 2026-01-07
         * Version bump (4.6.1). (#705)
         * Relax version constraint on containers, random. (#603)
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                   : 4.6.1
+version                   : 4.7
 license                   : BSD3
 license-file              : LICENSE
 maintainer                : Ivan Perez <ivan.perezdominguez@nasa.gov>
@@ -62,8 +62,8 @@ library
                           , xml                   >= 1.3 && < 1.4
                           , what4                 >= 1.3 && < 1.8
 
-                          , copilot-core          >= 4.6.1 && < 4.7
-                          , copilot-prettyprinter >= 4.6.1 && < 4.7
+                          , copilot-core          >= 4.7 && < 4.8
+                          , copilot-prettyprinter >= 4.7 && < 4.8
 
   exposed-modules         : Copilot.Theorem
                           , Copilot.Theorem.Prove
diff --git a/copilot-verifier/CHANGELOG b/copilot-verifier/CHANGELOG
@@ -1,4 +1,5 @@
 2026-03-07
+        * Version bump (4.7). (#714)
         * Relax version constraints on what4. (#716)
 
 2026-01-07
diff --git a/copilot-verifier/copilot-verifier.cabal b/copilot-verifier/copilot-verifier.cabal
@@ -1,6 +1,6 @@
 Cabal-version: 2.2
 Name:          copilot-verifier
-Version:       4.6.1
+Version:       4.7
 Author:        Galois Inc.
 Maintainer:    rscott@galois.com
 Copyright:     (c) Galois, Inc 2021-2024
@@ -45,9 +45,9 @@ common bldflags
     bv-sized >= 1.0.0 && < 1.1,
     bytestring,
     containers >= 0.5.9.0,
-    copilot-c99 >= 4.6.1 && < 4.7,
-    copilot-core >= 4.6.1 && < 4.7,
-    copilot-theorem >= 4.6.1 && < 4.7,
+    copilot-c99 >= 4.7 && < 4.8,
+    copilot-core >= 4.7 && < 4.8,
+    copilot-theorem >= 4.7 && < 4.8,
     crucible >= 0.7.1 && < 0.8,
     crucible-llvm >= 0.7 && < 0.8,
     crux >= 0.7.1 && < 0.8,
@@ -80,10 +80,10 @@ library copilot-verifier-examples
   hs-source-dirs: examples
   build-depends:
     case-insensitive,
-    copilot >= 4.6.1 && < 4.7,
-    copilot-language >= 4.6.1 && < 4.7,
-    copilot-libraries >= 4.6.1 && < 4.7,
-    copilot-prettyprinter >= 4.6.1 && < 4.7,
+    copilot >= 4.7 && < 4.8,
+    copilot-language >= 4.7 && < 4.8,
+    copilot-libraries >= 4.7 && < 4.8,
+    copilot-prettyprinter >= 4.7 && < 4.8,
     copilot-verifier
   exposed-modules:
     Copilot.Verifier.Examples
diff --git a/copilot-visualizer/CHANGELOG b/copilot-visualizer/CHANGELOG
@@ -1,4 +1,5 @@
 2026-03-07
+        * Version bump (4.7). (#714)
         * Relax version constraints on ogma-extra. (#716)
 
 2026-01-07
diff --git a/copilot-visualizer/copilot-visualizer.cabal b/copilot-visualizer/copilot-visualizer.cabal
@@ -1,6 +1,6 @@
 cabal-version:       >= 1.10
 name:                copilot-visualizer
-version:             4.6.1
+version:             4.7
 synopsis:            Visualizer for Copilot.
 description:
   Visualizer for Copilot.
@@ -65,10 +65,10 @@ library
     text       >= 1.2.3.1 && < 2.2,
     websockets >= 0.12.7  && < 0.14,
 
-    copilot             >= 4.6.1 && < 4.7,
-    copilot-core        >= 4.6.1 && < 4.7,
-    copilot-interpreter >= 4.6.1 && < 4.7,
-    copilot-language    >= 4.6.1 && < 4.7
+    copilot             >= 4.7 && < 4.8,
+    copilot-core        >= 4.7 && < 4.8,
+    copilot-interpreter >= 4.7 && < 4.8,
+    copilot-language    >= 4.7 && < 4.8
 
   exposed-modules:
 
@@ -121,7 +121,7 @@ executable tikz-example
   build-depends:
     base               >= 4.9 && < 5,
 
-    copilot            >= 4.6.1 && < 4.7,
+    copilot            >= 4.7 && < 4.8,
     copilot-visualizer
 
   if flag(examples)
diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG
@@ -1,3 +1,6 @@
+2026-03-07
+        * Version bump (4.7). (#714)
+
 2026-01-07
         * Version bump (4.6.1). (#705)
         * Relax version constraint on optparse-applicative. (#603)
diff --git a/copilot/copilot.cabal b/copilot/copilot.cabal
@@ -1,5 +1,5 @@
 name:                copilot
-version:             4.6.1
+version:             4.7
 cabal-version:       >= 1.10
 license:             BSD3
 license-file:        LICENSE
@@ -52,12 +52,12 @@ library
                      , directory             >= 1.3  && < 1.4
                      , filepath              >= 1.4  && < 1.6
 
-                     , copilot-core          >= 4.6.1 && < 4.7
-                     , copilot-theorem       >= 4.6.1 && < 4.7
-                     , copilot-language      >= 4.6.1 && < 4.7
-                     , copilot-libraries     >= 4.6.1 && < 4.7
-                     , copilot-c99           >= 4.6.1 && < 4.7
-                     , copilot-prettyprinter >= 4.6.1 && < 4.7
+                     , copilot-core          >= 4.7 && < 4.8
+                     , copilot-theorem       >= 4.7 && < 4.8
+                     , copilot-language      >= 4.7 && < 4.8
+                     , copilot-libraries     >= 4.7 && < 4.8
+                     , copilot-c99           >= 4.7 && < 4.8
+                     , copilot-prettyprinter >= 4.7 && < 4.8
 
 
     exposed-modules: Language.Copilot, Language.Copilot.Main
