[Certora] Fix solver setup #411

QGarchery · 2024-03-25T17:19:41Z

This PR:

updates configurations to certora-cli version 7.3.0
refactors invariants not necessarily needing to create a wrapper function anymore (since 7.3.0)

…iant-statement

…ement [Certora] import invariant statement

chore: try solver setup

9dfc176

QGarchery added the verif label Mar 25, 2024

QGarchery self-assigned this Mar 25, 2024

QGarchery added 4 commits March 26, 2024 09:57

chore: try with latest beta

da3f62b

fix: config update

99ca90e

refactor: remove unecessary configs

85e1882

chore: move back to certora-cli

7b0bd6e

QGarchery changed the title ~~[Certora] Try solver setup~~ [Certora] Fix solver setup Apr 15, 2024

QGarchery mentioned this pull request Apr 15, 2024

Add SPDX identifier to ERC1820Registry.sol #415

Merged

QGarchery and others added 5 commits April 15, 2024 15:50

refactor: use native import invariant statement

533de14

fix: typo requireInvariant

6629a43

fix: require as an invariant

e24bc7b

fix: revert timeout

0c374bf

Merge branch 'main' into certora/distinct-performance

e1f08ae

QGarchery marked this pull request as ready for review April 18, 2024 13:11

QGarchery and others added 3 commits April 18, 2024 15:13

refactor: enable caching on reverts

8bdfee3

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

564f286

…iant-statement

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

6e3ce22

…ement [Certora] import invariant statement

QGarchery requested a review from MathisGD April 18, 2024 14:14

MathisGD approved these changes Apr 18, 2024

View reviewed changes

MerlinEgalite approved these changes Apr 18, 2024

View reviewed changes

MerlinEgalite merged commit 3066d68 into main Apr 18, 2024
20 checks passed

MerlinEgalite deleted the certora/distinct-performance branch April 18, 2024 14:58

Provide feedback