Bump versions and constraints. Refs #642.

Author: ivanperez-keera

copilot-bluespec/copilot-bluespec.cabal

@@ -1,6 +1,6 @@
 cabal-version             : >= 1.10
 name                      : copilot-bluespec
-version                   : 4.4
+version                   : 4.5
 synopsis                  : A compiler for Copilot targeting FPGAs.
 description               :
   This package is a back-end from Copilot to FPGAs in Bluespec.
@@ -44,7 +44,7 @@ library
                           , filepath          >= 1.4    && < 1.6
                           , pretty            >= 1.1.2  && < 1.2
 
-                          , copilot-core      >= 4.4    && < 4.5
+                          , copilot-core      >= 4.5    && < 4.6
                           , language-bluespec >= 0.1    && < 0.2
 
   exposed-modules         : Copilot.Compile.Bluespec

copilot-c99/copilot-c99.cabal

@@ -1,6 +1,6 @@
 cabal-version             : >= 1.10
 name                      : copilot-c99
-version                   : 4.4
+version                   : 4.5
 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.4   && < 4.5
+                          , copilot-core        >= 4.5   && < 4.6
                           , language-c99        >= 0.2.0 && < 0.3
                           , language-c99-simple >= 0.3   && < 0.4
 

copilot-core/copilot-core.cabal

@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-core
-version:             4.4
+version:             4.5
 synopsis:            An intermediate representation for Copilot.
 description:
   Intermediate representation for Copilot.

copilot-interpreter/copilot-interpreter.cabal

@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-interpreter
-version:             4.4
+version:             4.5
 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.4 && < 4.5
+    copilot-core >= 4.5 && < 4.6
 
   exposed-modules:
 

copilot-language/copilot-language.cabal

@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-language
-version:             4.4
+version:             4.5
 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.4 && < 4.5
-               , copilot-interpreter   >= 4.4 && < 4.5
-               , copilot-theorem       >= 4.4 && < 4.5
+               , copilot-core          >= 4.5 && < 4.6
+               , copilot-interpreter   >= 4.5 && < 4.6
+               , copilot-theorem       >= 4.5 && < 4.6
 
   exposed-modules: Copilot.Language
                  , Copilot.Language.Operators.BitWise

copilot-libraries/copilot-libraries.cabal

@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-libraries
-version:             4.4
+version:             4.5
 synopsis:            Libraries for the Copilot language.
 description:
   Libraries for the Copilot language.
@@ -41,7 +41,7 @@ library
                , containers       >= 0.4 && < 0.8
                , mtl              >= 2.0 && < 2.4
                , parsec           >= 2.0 && < 3.2
-               , copilot-language >= 4.4 && < 4.5
+               , copilot-language >= 4.5 && < 4.6
 
   exposed-modules:
       Copilot.Library.Libraries

copilot-prettyprinter/copilot-prettyprinter.cabal

@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-prettyprinter
-version:             4.4
+version:             4.5
 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.4 && < 4.5
+    copilot-core >= 4.5 && < 4.6
 
   exposed-modules:
 

copilot-theorem/copilot-theorem.cabal

@@ -14,7 +14,7 @@ description:
   <https://copilot-language.github.io>.
 
 
-version                   : 4.4
+version                   : 4.5
 license                   : BSD3
 license-file              : LICENSE
 maintainer                : Ivan Perez <[email protected]>
@@ -63,8 +63,8 @@ library
                           , xml                   >= 1.3 && < 1.4
                           , what4                 >= 1.3 && < 1.8
 
-                          , copilot-core          >= 4.4 && < 4.5
-                          , copilot-prettyprinter >= 4.4 && < 4.5
+                          , copilot-core          >= 4.5 && < 4.6
+                          , copilot-prettyprinter >= 4.5 && < 4.6
 
   exposed-modules         : Copilot.Theorem
                           , Copilot.Theorem.Prove

copilot-verifier/copilot-verifier.cabal

@@ -1,6 +1,6 @@
 Cabal-version: 2.2
 Name:          copilot-verifier
-Version:       4.4
+Version:       4.5
 Author:        Galois Inc.
 Maintainer:    [email protected]
 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.4 && < 4.5,
-    copilot-core >= 4.4 && < 4.5,
-    copilot-theorem >= 4.4 && < 4.5,
+    copilot-c99 >= 4.5 && < 4.6,
+    copilot-core >= 4.5 && < 4.6,
+    copilot-theorem >= 4.5 && < 4.6,
     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.4 && < 4.5,
-    copilot-language >= 4.4 && < 4.5,
-    copilot-libraries >= 4.4 && < 4.5,
-    copilot-prettyprinter >= 4.4 && < 4.5,
+    copilot >= 4.5 && < 4.6,
+    copilot-language >= 4.5 && < 4.6,
+    copilot-libraries >= 4.5 && < 4.6,
+    copilot-prettyprinter >= 4.5 && < 4.6,
     copilot-verifier
   exposed-modules:
     Copilot.Verifier.Examples

copilot-visualizer/copilot-visualizer.cabal

@@ -1,6 +1,6 @@
 cabal-version:       >= 1.10
 name:                copilot-visualizer
-version:             4.4
+version:             4.5
 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.4 && < 4.5,
-    copilot-core        >= 4.4 && < 4.5,
-    copilot-interpreter >= 4.4 && < 4.5,
-    copilot-language    >= 4.4 && < 4.5
+    copilot             >= 4.5 && < 4.6,
+    copilot-core        >= 4.5 && < 4.6,
+    copilot-interpreter >= 4.5 && < 4.6,
+    copilot-language    >= 4.5 && < 4.6
 
   exposed-modules:
 
@@ -121,7 +121,7 @@ executable tikz-example
   build-depends:
     base               >= 4.9 && < 5,
 
-    copilot            >= 4.4 && < 4.5,
+    copilot            >= 4.5 && < 4.6,
     copilot-visualizer
 
   if flag(examples)