Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Fall back to Z3 4.8.8 on AWSLC/BLST proofs #1775

Merged
merged 2 commits into from
Dec 16, 2022
Merged

Fall back to Z3 4.8.8 on AWSLC/BLST proofs #1775

merged 2 commits into from
Dec 16, 2022

Commits on Dec 13, 2022

  1. Fall back to Z3 4.8.8 on AWSLC/BLST proofs 

    This updates the `what4-solvers` snapshot to one that includes both Z3 4.8.8
and 4.8.14. While we continue to use 4.8.14 for most CI purposes, we fall back
to 4.8.8 specifically when running the AWSLC or BLST proofs, which have been
known to nondeterministically time out with those versions. Hopefully, this
should resolve our CI woes.

This avoids the main issue in #1772, although the underlying cause still has yet
to be investigated.
    @RyanGlScott
    RyanGlScott committed Dec 13, 2022
    Configuration menu
    Copy the full SHA
    ec455d7 View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2022

  1. Merge branch 'master' into T1772

    @mergify
    mergify[bot] authored Dec 15, 2022
    Configuration menu
    Copy the full SHA
    7d140db View commit details
    Browse the repository at this point in the history