ivanperez-keera · Nov 8, 2026 · Nov 8, 2026 · Nov 8, 2026 · Nov 8, 2026 · Nov 8, 2026
diff --git a/copilot-bluespec/CHANGELOG b/copilot-bluespec/CHANGELOG
@@ -1,4 +1,5 @@
-2026-10-12
+2026-11-07
+        * Version bump (4.8.2). (#792)
         * Replace tabs in `DESIGN.md`. (#772)
         * Remove trailing spaces. (#775)
 

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.8.1
+version                   : 4.8.2
 synopsis                  : A compiler for Copilot targeting FPGAs.
 description               :
   This package is a back-end from Copilot to FPGAs in Bluespec.
@@ -51,7 +51,7 @@ library
                           , ieee754           >= 0.8.0  && < 0.9
                           , pretty            >= 1.1.2  && < 1.2
 
-                          , copilot-core      >= 4.8.1 && < 4.9
+                          , copilot-core      >= 4.8.2 && < 4.9
                           , language-bluespec >= 0.1 && < 0.2
 
   exposed-modules         : Copilot.Compile.Bluespec

diff --git a/copilot-c99/CHANGELOG b/copilot-c99/CHANGELOG
@@ -1,3 +1,6 @@
+2026-11-07
+        * Version bump (4.8.2). (#792)
+
 2026-09-07
         * Version bump (4.8.1). (#760)
 

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.8.1
+version                   : 4.8.2
 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.8.1 && < 4.9
+                          , copilot-core        >= 4.8.2 && < 4.9
                           , 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,4 +1,5 @@
-2026-10-17
+2026-11-07
+        * Version bump (4.8.2). (#792)
         * Increase test coverage for `Copilot.Core.Type.Array`. (#767)
         * Fix errors in the documentation of `Copilot.Core.Spec`. (#769)
         * Replace tab in CHANGELOG. (#772)

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.8.1
+version:             4.8.2
 synopsis:            An intermediate representation for Copilot.
 description:
   Intermediate representation for Copilot.

diff --git a/copilot-interpreter/CHANGELOG b/copilot-interpreter/CHANGELOG
@@ -1,4 +1,5 @@
-2026-10-12
+2026-11-07
+        * Version bump (4.8.2). (#792)
         * Replace tab in `Copilot.Interpreter.Eval`. (#772)
 
 2026-09-07

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.8.1
+version:             4.8.2
 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.8.1 && < 4.9
+    copilot-core >= 4.8.2 && < 4.9
 
   exposed-modules:
 

diff --git a/copilot-language/CHANGELOG b/copilot-language/CHANGELOG
@@ -1,3 +1,6 @@
+2026-11-07
+        * Version bump (4.8.2). (#792)
+
 2026-09-07
         * Version bump (4.8.1). (#760)
 

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.8.1
+version:             4.8.2
 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.8.1 && < 4.9
-               , copilot-interpreter   >= 4.8.1 && < 4.9
-               , copilot-theorem       >= 4.8.1 && < 4.9
+               , copilot-core          >= 4.8.2 && < 4.9
+               , copilot-interpreter   >= 4.8.2 && < 4.9
+               , copilot-theorem       >= 4.8.2 && < 4.9
 
   exposed-modules: Copilot.Language
                  , Copilot.Language.Operators.BitWise

diff --git a/copilot-libraries/CHANGELOG b/copilot-libraries/CHANGELOG
@@ -1,4 +1,5 @@
-2026-10-23
+2026-11-07
+        * Version bump (4.8.2). (#792)
         * Add random stream generation module. (#766)
 
 2026-09-07

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.8.1
+version:             4.8.2
 synopsis:            Libraries for the Copilot language.
 description:
   Libraries for the Copilot language.
@@ -41,7 +41,7 @@ library
                , containers       >= 0.4 && < 0.9
                , mtl              >= 2.0 && < 2.4
                , parsec           >= 2.0 && < 3.2
-               , copilot-language >= 4.8.1 && < 4.9
+               , copilot-language >= 4.8.2 && < 4.9
 
   exposed-modules:
       Copilot.Library.Analysis

diff --git a/copilot-prettyprinter/CHANGELOG b/copilot-prettyprinter/CHANGELOG
@@ -1,3 +1,6 @@
+2026-11-07
+        * Version bump (4.8.2). (#792)
+
 2026-09-07
         * Version bump (4.8.1). (#760)
 

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.8.1
+version:             4.8.2
 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.8.1 && < 4.9
+    copilot-core >= 4.8.2 && < 4.9
 
   exposed-modules:
 

diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
@@ -1,3 +1,6 @@
+2026-11-07
+        * Version bump (4.8.2). (#792)
+
 2026-09-07
         * Version bump (4.8.1). (#760)
         * Remove unnecessary extension. (#733)

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.8.1
+version                   : 4.8.2
 license                   : BSD3
 license-file              : LICENSE
 maintainer                : Ivan Perez <ivan.perezdominguez@nasa.gov>
@@ -63,8 +63,8 @@ library
                           , transformers          >= 0.5 && < 0.7
                           , what4                 >= 1.3 && < 1.8
 
-                          , copilot-core          >= 4.8.1 && < 4.9
-                          , copilot-prettyprinter >= 4.8.1 && < 4.9
+                          , copilot-core          >= 4.8.2 && < 4.9
+                          , copilot-prettyprinter >= 4.8.2 && < 4.9
 
   exposed-modules         : Copilot.Theorem
                           , Copilot.Theorem.Prove

diff --git a/copilot-verifier/CHANGELOG b/copilot-verifier/CHANGELOG
@@ -1,3 +1,6 @@
+2026-11-07
+        * Version bump (4.8.2). (#792)
+
 2026-09-07
         * Version bump (4.8.1). (#760)
 

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.8.1
+Version:       4.8.2
 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.8.1 && < 4.9,
-    copilot-core >= 4.8.1 && < 4.9,
-    copilot-theorem >= 4.8.1 && < 4.9,
+    copilot-c99 >= 4.8.2 && < 4.9,
+    copilot-core >= 4.8.2 && < 4.9,
+    copilot-theorem >= 4.8.2 && < 4.9,
     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.8.1 && < 4.9,
-    copilot-language >= 4.8.1 && < 4.9,
-    copilot-libraries >= 4.8.1 && < 4.9,
-    copilot-prettyprinter >= 4.8.1 && < 4.9,
+    copilot >= 4.8.2 && < 4.9,
+    copilot-language >= 4.8.2 && < 4.9,
+    copilot-libraries >= 4.8.2 && < 4.9,
+    copilot-prettyprinter >= 4.8.2 && < 4.9,
     copilot-verifier
   exposed-modules:
     Copilot.Verifier.Examples

diff --git a/copilot-visualizer/CHANGELOG b/copilot-visualizer/CHANGELOG
@@ -1,3 +1,6 @@
+2026-11-07
+        * Version bump (4.8.2). (#792)
+
 2026-09-07
         * Version bump (4.8.1). (#760)
         * Fix inconsistent version bounds for `copilot` in Cabal file. (#749)

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.8.1
+version:             4.8.2
 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.8.1 && < 4.9,
-    copilot-core        >= 4.8.1 && < 4.9,
-    copilot-interpreter >= 4.8.1 && < 4.9,
-    copilot-language    >= 4.8.1 && < 4.9
+    copilot             >= 4.8.2 && < 4.9,
+    copilot-core        >= 4.8.2 && < 4.9,
+    copilot-interpreter >= 4.8.2 && < 4.9,
+    copilot-language    >= 4.8.2 && < 4.9
 
   exposed-modules:
 
@@ -121,7 +121,7 @@ executable tikz-example
   build-depends:
     base               >= 4.9 && < 5,
 
-    copilot            >= 4.8.1 && < 4.9,
+    copilot            >= 4.8.2 && < 4.9,
     copilot-visualizer
 
   if flag(examples)

diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG
@@ -1,4 +1,5 @@
 2026-11-07
+        * Version bump (4.8.2). (#792)
         * Adjust Travis CI script to flag presence of tabs as an error. (#774)
         * Adjust Travis CI script to flag trailing space as an error. (#777)
         * Update README to correct typos and improve readability. (#779)

diff --git a/copilot/copilot.cabal b/copilot/copilot.cabal
@@ -1,5 +1,5 @@
 name:                copilot
-version:             4.8.1
+version:             4.8.2
 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.8.1 && < 4.9
-                     , copilot-theorem       >= 4.8.1 && < 4.9
-                     , copilot-language      >= 4.8.1 && < 4.9
-                     , copilot-libraries     >= 4.8.1 && < 4.9
-                     , copilot-c99           >= 4.8.1 && < 4.9
-                     , copilot-prettyprinter >= 4.8.1 && < 4.9
+                     , copilot-core          >= 4.8.2 && < 4.9
+                     , copilot-theorem       >= 4.8.2 && < 4.9
+                     , copilot-language      >= 4.8.2 && < 4.9
+                     , copilot-libraries     >= 4.8.2 && < 4.9
+                     , copilot-c99           >= 4.8.2 && < 4.9
+                     , copilot-prettyprinter >= 4.8.2 && < 4.9
 
 
     exposed-modules: Language.Copilot, Language.Copilot.Main