Bump submodules to allow building with `what4-1.6.*`

GaloisInc / macaw

Open source binary analysis tools.

BSD 3-Clause "New" or "Revised" License

203 stars 20 forks source link

Bump submodules to allow building with `what4-1.6.*` #384

Closed RyanGlScott closed 3 months ago

RyanGlScott commented 3 months ago

This bumps the what4 submodule to the 1.6.* version series and updates the .cabal files in the macaw repo accordingly.

Bumping the what4 submodule also requires bringing in corresponding changes in the crucible, llvm-pretty, and llvm-pretty-bc-parser submodules, so I have done that as well.