Require `what4-1.6.1`, `llvm-pretty-0.12.1` in `.cabal` files

GaloisInc / crucible

Crucible is a library for symbolic simulation of imperative programs

673 stars 44 forks source link

Require `what4-1.6.1`, `llvm-pretty-0.12.1` in `.cabal` files #1247

Closed RyanGlScott closed 2 months ago

RyanGlScott commented 2 months ago

This ensures that the .cabal files for crucible and crucible-llvm declare the appropriate lower version bounds on llvm-pretty and what4. This also bumps the submodules to the required minimum versions of these libraries.

Fixes #1246.

RyanGlScott commented 2 months ago

I have:

Backported the first two commits to the release-crux-0.9 branch (in 3ce6462393a1ff361d4d2db4563840d615c7f37a and dce15f2ad40469e826d85bc90c7f2901f209be50).
Revised crucible-0.7.1 and crucible-llvm-0.7 on Hackage to include the revised lower version bounds.