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

Use prebuilt solver binaries from what4-solvers #1284

Merged
merged 12 commits into from
Sep 17, 2021
Merged

Use prebuilt solver binaries from what4-solvers #1284

merged 12 commits into from
Sep 17, 2021

Commits on Sep 15, 2021

  1. Use prebuilt solver binaries from what4-solvers

    Aaron Tomb committed Sep 15, 2021
    Configuration menu
    Copy the full SHA
    c8bfa20 View commit details
    Browse the repository at this point in the history

  2. Fix typo in solver binary archive names

    Aaron Tomb committed Sep 15, 2021
    Configuration menu
    Copy the full SHA
    5fbb175 View commit details
    Browse the repository at this point in the history

  3. Fix Yices executable name

    Aaron Tomb committed Sep 15, 2021
    Configuration menu
    Copy the full SHA
    aa3426e View commit details
    Browse the repository at this point in the history

  4. Always overwrite solvers when unzipping

    Aaron Tomb committed Sep 15, 2021
    Configuration menu
    Copy the full SHA
    88d24a1 View commit details
    Browse the repository at this point in the history

  5. Make solver package version configurable

    Aaron Tomb committed Sep 15, 2021
    Configuration menu
    Copy the full SHA
    bdb2c96 View commit details
    Browse the repository at this point in the history

  6. Include abc in with-solvers tarballs

    Aaron Tomb committed Sep 15, 2021
    Configuration menu
    Copy the full SHA
    c537017 View commit details
    Browse the repository at this point in the history

  7. Attempt to fix build stall on Windows

    Aaron Tomb committed Sep 15, 2021
    Configuration menu
    Copy the full SHA
    5e31bd0 View commit details
    Browse the repository at this point in the history

  8. Switch back to GHC 8.10.2 for now 

    We're using GHC 8.6.5 for tests
    Aaron Tomb committed Sep 15, 2021
    Configuration menu
    Copy the full SHA
    45c28c3 View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2021

  1. Disable RPC tests on macOS 

    They’re stalling for unknown reasons, and aren’t as critical as the
others. Running the  Linux tests is the most critical.
    Aaron Tomb committed Sep 17, 2021
    Configuration menu
    Copy the full SHA
    94a32f9 View commit details
    Browse the repository at this point in the history

  2. Check dynamic library dependencies of solvers

    Aaron Tomb committed Sep 17, 2021
    Configuration menu
    Copy the full SHA
    b885441 View commit details
    Browse the repository at this point in the history

  3. Fix solver dependency analysis

    Aaron Tomb committed Sep 17, 2021
    Configuration menu
    Copy the full SHA
    6cd4383 View commit details
    Browse the repository at this point in the history

  4. Bump solver package snapshot version

    Aaron Tomb committed Sep 17, 2021
    Configuration menu
    Copy the full SHA
    1bb2b54 View commit details
    Browse the repository at this point in the history