search

GaloisInc / saw-script

The SAW scripting language.
BSD 3-Clause "New" or "Revised" License
442 stars 63 forks source link

Bump submodules to bring in changes from GaloisInc/crucible#1225 #2078

Closed RyanGlScott closed 4 months ago

RyanGlScott commented 4 months ago

This bumps the crucible submodule to bring in the changes from GaloisInc/crucible#1225, which fixes GaloisInc/crucible#1224 on the SAW side. This also requires bumping the cryptol, macaw, and what4 submodules in order to construct a consistent build plan with the latest crucible.

sauclovian-g commented 4 months ago

This ends up still some six weeks behind in cryptol, and while there's something to be said for taking the minimum change required (especially in the context of syncing with another update) ISTM that we probably at least want the py-certifi dependabot change in cryptol sooner rather than later. So if you don't want to include that much right now I'd suggest another branch to pull it in...

RyanGlScott commented 4 months ago

Right, I chose the latest commit I could without needing to pull in the changes from https://github.com/GaloisInc/cryptol/pull/1664, which would require SAW to adapt to API changes on the cryptol side. I'll update SAW to the latest cryptol submodule commit in a separate PR.

RyanGlScott commented 4 months ago

I'll update SAW to the latest cryptol submodule commit in a separate PR.

See #2079.