-
Notifications
You must be signed in to change notification settings - Fork 49
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Upgrade to why3 1.8 #674
Upgrade to why3 1.8 #674
Conversation
It seems this needs us to update the We need a good process for archiving and rolling build containers, trying to balance reproducibility of research artefacts—at least through peer review—and engineering needs. |
All ocaml dependencies come via opam-nix (i.e. do not come from nixpkg). The failure came from a bug in |
Checking—the salsa proof is not failing in any of my own runs, at home or in the local CI. |
Even with Why3 1.8? |
Fixed. This should also unblock #692 . |
Thank you. Merging. |
No description provided.