Skip to content

Commit

Permalink
Allow building with GHC 9.8
Browse files Browse the repository at this point in the history 
This bumps the `what4` submodule and the upper version bounds on `base` to
allow versions that are compatible with GHC 9.8.
  • Loading branch information
@RyanGlScott
RyanGlScott committed Aug 6, 2024
1 parent 26ea364 commit 0413c86
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion dependencies/what4
Submodule what4 updated 32 files
+7 −3 .github/workflows/gen_matrix.pl
+24 −0 .github/workflows/lint.yml
+4 −1 .github/workflows/test.yml
+11 −72 .hlint.yaml
+5 −5 README.md
+1 −1 dependencies/aig
+1 −1 what4-abc/what4-abc.cabal
+1 −1 what4-blt/what4-blt.cabal
+2 −2 what4-transition-system/what4-transition-system.cabal
+32 −0 what4/CHANGES.md
+1 −0 what4/README.md
+1 −0 what4/src/What4/Expr.hs
+2 −2 what4/src/What4/Expr/App.hs
+542 −45 what4/src/What4/Expr/Builder.hs
+36 −0 what4/src/What4/Expr/GroundEval.hs
+2 −2 what4/src/What4/Expr/MATLAB.hs
+46 −5 what4/src/What4/Interface.hs
+56 −4 what4/src/What4/Protocol/SMTLib2.hs
+5 −3 what4/src/What4/Protocol/SMTWriter.hs
+11 −0 what4/src/What4/Solver.hs
+158 −0 what4/src/What4/Solver/Bitwuzla.hs
+8 −0 what4/src/What4/Solver/CVC4.hs
+0 −8 what4/src/What4/Solver/CVC5.hs
+88 −9 what4/src/What4/Solver/Z3.hs
+0 −6 what4/src/What4/Utils/Versions.hs
+50 −3 what4/test/AdapterTest.hs
+3 −1 what4/test/ConfigTest.hs
+55 −25 what4/test/ExprBuilderSMTLib2.hs
+4 −3 what4/test/InvariantSynthesis.hs
+3 −0 what4/test/OnlineSolverTest.hs
+3 −1 what4/test/ProbeSolvers.hs
+5 −4 what4/what4.cabal
2 changes: 1 addition & 1 deletion language-sally.cabal
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ source-repository head

common dependencies
build-depends:
, base >=4.8 && <4.19
, base >=4.8 && <4.20
, parameterized-utils >=2.0 && <2.2
, what4 >=1.4
, what4-transition-system >=0.0.3
Expand Down

0 comments on commit 0413c86

Please sign in to comment.