Code

Support building with GHC 9.4#1860

Code

Merged

RyanGlScott merged 7 commits intomasterGaloisInc/saw-script:masterfrom ghc-9.4GaloisInc/saw-script:ghc-9.4Copy head branch name to clipboardMay 26, 2023

+244-238

Commits

Commits on May 26, 2023

• Whitespace only

  RyanGlScott

  committed
  58c2a8a

  Copy full SHA for 58c2a8a

• Support building with GHC 9.4

  Show description for 3d83e0d
  RyanGlScott

  committed
  3d83e0d

  Copy full SHA for 3d83e0d

• Fix -Wtype-equality-requires-operators warnings

  Show description for d54026d
  RyanGlScott

  committed
  d54026d

  Copy full SHA for d54026d

• Remove use of NoMonoLocalBinds after GADTs pragma

  Show description for d04c901
  RyanGlScott

  committed
  d04c901

  Copy full SHA for d04c901

• CI: Regenerate cabal.GHC-*.config files

  RyanGlScott

  committed
  3fe4fc8

  Copy full SHA for 3fe4fc8

• CI: Test GHC 9.4.4, drop 8.8.4

  RyanGlScott

  committed
  eaaec00

  Copy full SHA for eaaec00

• Bump aws-lc-verification.

  

  andreistefanescu

  authored and

  RyanGlScott

  committed
  e19c9cb

  Copy full SHA for e19c9cb