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

[Certora] Fix solver setup #411

Merged
merged 13 commits into from
Apr 18, 2024
Merged

[Certora] Fix solver setup #411

merged 13 commits into from
Apr 18, 2024

Commits on Mar 25, 2024

  1. chore: try solver setup

    @QGarchery
    QGarchery committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    9dfc176 View commit details
    Browse the repository at this point in the history

Commits on Mar 26, 2024

  1. chore: try with latest beta

    @QGarchery
    QGarchery committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    da3f62b View commit details
    Browse the repository at this point in the history

Commits on Apr 3, 2024

  1. fix: config update

    @QGarchery
    QGarchery committed Apr 3, 2024
    Configuration menu
    Copy the full SHA
    99ca90e View commit details
    Browse the repository at this point in the history

Commits on Apr 4, 2024

  1. refactor: remove unecessary configs

    @QGarchery
    QGarchery committed Apr 4, 2024
    Configuration menu
    Copy the full SHA
    85e1882 View commit details
    Browse the repository at this point in the history

Commits on Apr 15, 2024

  1. chore: move back to certora-cli

    @QGarchery
    QGarchery committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    7b0bd6e View commit details
    Browse the repository at this point in the history

  2. refactor: use native import invariant statement

    @QGarchery
    QGarchery committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    533de14 View commit details
    Browse the repository at this point in the history

  3. fix: typo requireInvariant

    @QGarchery
    QGarchery committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    6629a43 View commit details
    Browse the repository at this point in the history

  4. fix: require as an invariant

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

Commits on Apr 18, 2024

  1. fix: revert timeout

    @QGarchery
    QGarchery committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    0c374bf View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into certora/distinct-performance

    @QGarchery
    QGarchery authored Apr 18, 2024
    Configuration menu
    Copy the full SHA
    e1f08ae View commit details
    Browse the repository at this point in the history

  3. refactor: enable caching on reverts

    @QGarchery
    QGarchery committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    8bdfee3 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'certora/distinct-performance' into certora/import-invar… 

    …iant-statement
    @QGarchery
    QGarchery committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    564f286 View commit details
    Browse the repository at this point in the history

  5. Merge pull request #417 from morpho-org/certora/import-invariant-stat… 

    …ement

[Certora] import invariant statement
    @QGarchery
    QGarchery authored Apr 18, 2024
    Configuration menu
    Copy the full SHA
    6e3ce22 View commit details
    Browse the repository at this point in the history