Support GHC 9.8

GaloisInc · Feb 12, 2025 · dcf1b69 · dcf1b69
1 parent d9224de
commit dcf1b69
Show file tree

Hide file tree

Showing 10 changed files with 10 additions and 9 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -63,7 +63,7 @@ jobs:
       matrix:
         os: [ubuntu-22.04]
         cabal: ["3.10.1.0"]
-        ghc: ["9.2.8", "9.4.8", "9.6.3"]
+        ghc: ["9.4.8", "9.6.3", "9.8.4"]
     name: GHC ${{ matrix.ghc }}
     steps:
 

diff --git a/cabal.project.dist b/cabal.project.dist
@@ -29,6 +29,7 @@ packages: .
           submodules/macaw/x86
           submodules/macaw/x86_symbolic
           submodules/macaw/symbolic
+          submodules/macaw/macaw-dump
           submodules/macaw/macaw-semmc
           submodules/macaw/macaw-ppc
           submodules/macaw/macaw-ppc-symbolic

diff --git a/submodules/arm-asl-parser b/submodules/arm-asl-parser
diff --git a/submodules/asl-translator b/submodules/asl-translator
diff --git a/submodules/crucible b/submodules/crucible
diff --git a/submodules/dismantle b/submodules/dismantle
diff --git a/submodules/llvm-pretty b/submodules/llvm-pretty
diff --git a/submodules/macaw b/submodules/macaw
diff --git a/submodules/parameterized-utils b/submodules/parameterized-utils
diff --git a/submodules/what4 b/submodules/what4
+8 −8		.github/workflows/ci-matrix.yml
+ −		archived/functions-norm-lite.what4.gz
+ −		archived/functions-norm.what4.gz
+ −		archived/instructions-norm-lite.what4.gz
+ −		archived/instructions-norm.what4.gz
+2 −2		asl-translator.cabal
+7 −0		data/extra_defs.asl
+45 −0		data/parsed/extra_defs.sexpr
+4 −2		lib/Language/ASL/Globals/Definitions.hs
+0 −4		lib/Language/ASL/Translation.hs
+6 −3		lib/Language/ASL/Translation/Preprocess.hs
+1 −1		submodules/arm-asl-parser
+1 −1		submodules/crucible
+1 −1		submodules/dismantle
+1 −1		submodules/what4
+3 −1		.github/workflows/test.yml
+19 −0		Changelog.md
+10 −10		parameterized-utils.cabal
+3 −3		src/Data/Parameterized/Map.hs
+37 −1		src/Data/Parameterized/TraversableF.hs
+27 −0		src/Data/Parameterized/TraversableFC.hs
+3 −5		test/Test/SymbolRepr.hs
+1 −0		.github/workflows/gen_matrix.pl
+13 −6		.github/workflows/test.yml
+1 −1		dependencies/aig
+1 −1		what4-abc/what4-abc.cabal
+1 −1		what4-blt/what4-blt.cabal
+1 −1		what4-transition-system/what4-transition-system.cabal
+20 −0		what4/CHANGES.md
+26 −23		what4/src/What4/Expr/App.hs
+110 −16		what4/src/What4/Expr/BoolMap.hs
+34 −18		what4/src/What4/Expr/Builder.hs
+1 −10		what4/src/What4/Expr/GroundEval.hs
+5 −5		what4/src/What4/Expr/VarIdentification.hs
+2 −2		what4/src/What4/Expr/WeightedSum.hs
+5 −5		what4/src/What4/Protocol/SMTWriter.hs
+1 −1		what4/src/What4/Protocol/VerilogWriter/Backend.hs
+1 −1		what4/src/What4/Serialize/Printer.hs
+0 −1		what4/src/What4/Solver/CVC5.hs
+3 −4		what4/src/What4/Utils/AnnotatedMap.hs
+2 −2		what4/src/What4/Utils/Environment.hs
+4 −2		what4/src/What4/Utils/Word16String.hs
+295 −0		what4/test/Bool.hs
+62 −0		what4/test/BoolNormalization.hs
+3 −0		what4/test/ExprsTest.hs
+0 −1		what4/test/InvariantSynthesis.hs
+4 −1		what4/test/OnlineSolverTest.hs
+13 −2		what4/what4.cabal