GaloisInc / saw-script

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

Bump crucible and what4 to sync crucible #1260 #2133

Closed sauclovian-g closed 1 month ago

sauclovian-g commented 1 month ago

crucible #1260 is a cleanup change that breaks the API (though in a minor way) so we want to keep up with it. Apply the one-line fix to adjust to that change.

Update what4 as well because crucible requires it.