WIP: Support GHC 9.10

GaloisInc · Feb 13, 2025 · 30b77b2 · 30b77b2
1 parent 50d1550
commit 30b77b2
Show file tree

Hide file tree

Showing 13 changed files with 20 additions and 7 deletions.
diff --git a/.github/workflows/crux-llvm-build.yml b/.github/workflows/crux-llvm-build.yml
@@ -65,7 +65,7 @@ jobs:
       matrix:
         os: [ubuntu-22.04]
         cabal: ["3.10.3.0"]
-        ghc: ["9.4.8", "9.6.5", "9.8.2"]
+        ghc: ["9.4.8", "9.6.5", "9.8.2", "9.10.1"]
         include:
           - os: ubuntu-20.04
             cabal: 3.10.3.0

diff --git a/cabal.project b/cabal.project
@@ -4,6 +4,10 @@
 --
 -- export PATH=$PWD/dist-newstyle/build/x86_64-linux/ghc-7.10.3/hpb-0.1.1/c/hpb/build/hpb:$PATH
 
+-- TODO: https://github.com/travitch/itanium-abi/pull/15
+allow-newer: itanium-abi:text
+allow-newer: boomerang:template-haskell
+
 packages:
   crucible/
   crucible-cli/

diff --git a/crucible-llvm/CHANGELOG.md b/crucible-llvm/CHANGELOG.md
@@ -1,5 +1,6 @@
 # next -- TBA
 
+* Add support for GHC 9.10
 * Fix a bug in which the memory model would panic when attempting to unpack
   constant string literals.
 

diff --git a/crucible-llvm/crucible-llvm.cabal b/crucible-llvm/crucible-llvm.cabal
@@ -33,7 +33,7 @@ common bldflags
 library
   import: bldflags
   build-depends:
-    base >= 4.13 && < 4.20,
+    base >= 4.13 && < 4.21,
     attoparsec,
     bv-sized >= 1.0.0,
     bytestring,

diff --git a/crucible-symio/CHANGELOG.md b/crucible-symio/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Revision history for crucible-symio
 
+# next
+
+* Add support for GHC 9.10
+
 ## 0.1.1 -- 2024-08-30
 
 * Add support for GHC 9.8

diff --git a/crucible-symio/crucible-symio.cabal b/crucible-symio/crucible-symio.cabal
@@ -21,7 +21,7 @@ source-repository head
   subdir:   crucible-symio
 
 common shared
-  build-depends:       base >=4.12 && <4.20,
+  build-depends:       base >=4.12 && <4.21,
                        aeson,
                        bv-sized,
                        bytestring,

diff --git a/crucible/CHANGELOG.md b/crucible/CHANGELOG.md
@@ -1,5 +1,6 @@
 # next -- TBA
 
+* Add support for GHC 9.10
 * Add support for Bitwuzla as an online SMT solver backend.
 * Add a function `ppTypeRepr` to `Lang.Crucible.Types` for pretty-printing
   `TypeRepr`s. Modify the `Pretty` instance to use this function.

diff --git a/crucible/crucible.cabal b/crucible/crucible.cabal
@@ -45,7 +45,7 @@ library
   import: bldflags
   build-depends:
     async,
-    base >= 4.13 && < 4.20,
+    base >= 4.13 && < 4.21,
     bimap,
     bv-sized >= 1.0.0 && < 1.1,
     containers >= 0.5.9.0,

diff --git a/crux-llvm/CHANGELOG.md b/crux-llvm/CHANGELOG.md
@@ -1,5 +1,6 @@
 # next -- TBA
 
+* Add support for GHC 9.10.
 * Add support for the Bitwuzla SMT solver in the test suite.
 * Add `--debug` option for starting the Crucible debugger.
 

diff --git a/crux-llvm/crux-llvm.cabal b/crux-llvm/crux-llvm.cabal
@@ -55,7 +55,7 @@ common bldflags
                -Wincomplete-uni-patterns
   ghc-prof-options: -O2
   default-language: Haskell2010
-  build-depends:    base >= 4.8 && < 4.20
+  build-depends:    base >= 4.8 && < 4.21
                   , bytestring
                   , containers
                   , crucible

diff --git a/crux-mir/CHANGELOG.md b/crux-mir/CHANGELOG.md
@@ -1,5 +1,6 @@
 # next -- TBA
 
+* Add support for GHC 9.10
 * Add `--debug` option for starting the Crucible debugger.
 
 # 0.9 -- 2024-08-30

diff --git a/crux/CHANGELOG.md b/crux/CHANGELOG.md
@@ -1,5 +1,6 @@
 # next -- TBA
 
+* Add support for GHC 9.10
 * Add support for the Bitwuzla SMT solver.
 * Add `--debug` option for starting the Crucible debugger.
 * For the sake of the `--debug` flag, Crux now depends on the

diff --git a/uc-crux-llvm/uc-crux-llvm.cabal b/uc-crux-llvm/uc-crux-llvm.cabal
@@ -185,7 +185,7 @@ library
   build-depends:
     aeson,
     async,
-    base >= 4.8 && < 4.20,
+    base >= 4.8 && < 4.21,
     bv-sized,
     bytestring,
     containers,
@@ -217,7 +217,7 @@ executable uc-crux-llvm
   hs-source-dirs: exe
 
   build-depends:
-    base >= 4.8 && < 4.20,
+    base >= 4.8 && < 4.21,
     uc-crux-llvm
 
   ghc-options: -threaded