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

Upgrade cvc5 to 1.1.2 #158

Merged
merged 10 commits into from
Apr 15, 2024
Merged

Upgrade cvc5 to 1.1.2 #158

merged 10 commits into from
Apr 15, 2024

Commits on Apr 12, 2024

  1. WIP: upgrade cvc

    @Saloed
    Saloed committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    d9b95ef View commit details
    Browse the repository at this point in the history

  2. FIx arith pow expr

    @Saloed
    Saloed committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    16d5db7 View commit details
    Browse the repository at this point in the history

  3. Fix codestyle

    @Saloed
    Saloed committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    3f70051 View commit details
    Browse the repository at this point in the history

  4. Fix term manager lifetime

    @Saloed
    Saloed committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    023fccc View commit details
    Browse the repository at this point in the history

  5. Enable all cvc benchmark tests

    @Saloed
    Saloed committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    70c16bb View commit details
    Browse the repository at this point in the history

Commits on Apr 13, 2024

  1. Add no-overflow exprs

    @Saloed
    Saloed committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    ff7886b View commit details
    Browse the repository at this point in the history

  2. Fix docs

    @Saloed
    Saloed committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    64a80ed View commit details
    Browse the repository at this point in the history

  3. Add cvc MacOS build

    @Saloed
    Saloed committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    b6ebd26 View commit details
    Browse the repository at this point in the history

  4. Upgrade ksmt version

    @Saloed
    Saloed committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    c3c7be5 View commit details
    Browse the repository at this point in the history

Commits on Apr 15, 2024

  1. Fix MacOS native counterpart

    @Saloed
    Saloed committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    79e1513 View commit details
    Browse the repository at this point in the history