Merge pull request #73 from Copilot-Language/T72-copilot-verifier-4.1

Require building with Copilot 4.1. Refs #72.

copilot-verifier/CHANGELOG

@@ -1,3 +1,6 @@
+2024-11-08
+        * Version bump (4.1). (#72)
+
 2024-09-09
         * Version bump (4.0). (#69)
         * Support verifying programs that use array updates. (#63)

copilot-verifier/copilot-verifier.cabal

@@ -1,6 +1,6 @@
 Cabal-version: 2.2
 Name:          copilot-verifier
-Version:       4.0
+Version:       4.1
 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.0 && < 4.1,
-    copilot-core >= 4.0 && < 4.1,
-    copilot-theorem >= 4.0 && < 4.1,
+    copilot-c99 >= 4.1 && < 4.2,
+    copilot-core >= 4.1 && < 4.2,
+    copilot-theorem >= 4.1 && < 4.2,
     crucible >= 0.7.1 && < 0.8,
     crucible-llvm >= 0.7 && < 0.8,
     crux >= 0.7.1 && < 0.8,
@@ -78,9 +78,9 @@ library copilot-verifier-examples
   hs-source-dirs: examples
   build-depends:
     case-insensitive,
-    copilot >= 4.0 && < 4.1,
-    copilot-language >= 4.0 && < 4.1,
-    copilot-prettyprinter >= 4.0 && < 4.1,
+    copilot >= 4.1 && < 4.2,
+    copilot-language >= 4.1 && < 4.2,
+    copilot-prettyprinter >= 4.1 && < 4.2,
     copilot-verifier
   exposed-modules:
     Copilot.Verifier.Examples