Franziskus Kiefer
Franziskus Kiefer
What's the plan to get this fixed?
How is this related to #1171? The description here sounds like this should be working for while loops.
Looks like this needs updates to the interop client.
https://md.cryspen.com/lq3f3q0YQKqopPbJEIRblg
Rust crypto code still requires 0.8 afaik.
@jschneider-bensch can you update the status and plans on here?
@jschneider-bensch can you add more details here to make it actionable?
@jschneider-bensch this is mostly resolved I think. Or is there more you want to do?
I put up a first version [here](https://github.com/AeneasVerif/eurydice/compare/franziskus/split-glue?expand=1). I didn't test it yet and I think there are some questions about what goes where, and a few things that I left...
@wysiwys you said it's breaking. Do we need to change anything here?