submodule updates for the fast-f2 cryptol branch

[robdockins]

No description provided.

[robdockins]

@jared-w, @LisannaAtGalois, it seems like these builds are failing on MacOS when building abcBridge with some C error I don't understand about vsnprintf. There hasn't been any updates in abcBridge for months, so it seems like this is a system configuration problem of some sort. Any ideas?

[lisanna-dettwyler]

@jared-w, @LisannaAtGalois, it seems like these builds are failing on MacOS when building abcBridge with some C error I don't understand about vsnprintf. There hasn't been any updates in abcBridge for months, so it seems like this is a system configuration problem of some sort. Any ideas?

@robdockins And it hasn't always visibly broken the build either: https://github.com/GaloisInc/saw-script/runs/1317864668?check_suite_focus=true#step:9:975

The fix may be as easy as what's suggested here: https://github.com/GaloisInc/saw-script/runs/1322074249?check_suite_focus=true#step:9:983

[robdockins]

Interesting. It seems like a warning got upgraded to an error somehow.

The suggested fix is probably the right one in the end, but it needs to happen in abc itself, which is a bit tricky. I think we are lagging quite behind upstream at this point. Given that we're working to move away from abcBridge soon, maybe it would be OK to use some custom patches.