search

epfl-lara / stainless

Verification framework and tool for higher-order Scala programs
https://epfl-lara.github.io/stainless/
Apache License 2.0
359 stars 53 forks source link

Update inox #1587

Closed samuelchassot closed 3 weeks ago

samuelchassot commented 1 month ago

@sankalpgambhir the CI fails. I didn't check in details yet, but if you know in the meantime why it's probably quicker