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

Verif pre-liquidations repay #38

Merged
merged 33 commits into from
Oct 4, 2024
Merged

Verif pre-liquidations repay #38

merged 33 commits into from
Oct 4, 2024

Conversation

colin-morpho
Copy link
Contributor

@colin-morpho colin-morpho commented Sep 27, 2024 •
edited
Loading

This PR implements the specification of the related issue and resolves #35.
Note: this PR sits on top #37, to be merged one after the other.

Please make sure of the following before accepting this PR:

  • the verification succeeds;
  • the README file has been updated to provide some documentation
  • the CI job is updated.

@colin-morpho colin-morpho added verification Fromal verification with Certora done labels Sep 27, 2024
@colin-morpho colin-morpho self-assigned this Sep 27, 2024
@colin-morpho colin-morpho mentioned this pull request Sep 27, 2024
Open
8 tasks
QGarchery
QGarchery reviewed Sep 27, 2024
View reviewed changes
certora/specs/Reverts.spec Outdated Show resolved Hide resolved
certora/confs/Liveness.conf Outdated Show resolved Hide resolved
certora/specs/Liveness.spec Outdated Show resolved Hide resolved
@colin-morpho colin-morpho changed the base branch from colin@verif/setup to colin@verif/expected-reverts September 29, 2024 19:10
@colin-morpho colin-morpho changed the base branch from colin@verif/expected-reverts to colin@verif/setup September 29, 2024 19:10
Base automatically changed from colin@verif/setup to main September 30, 2024 11:26
@colin-morpho colin-morpho linked an issue Oct 1, 2024 that may be closed by this pull request
Verify that pre-liquidations repay #35
Closed
QGarchery
QGarchery previously approved these changes Oct 2, 2024
View reviewed changes
certora/specs/Liveness.spec Outdated Show resolved Hide resolved
certora/specs/Liveness.spec Outdated Show resolved Hide resolved
certora/specs/Liveness.spec Outdated Show resolved Hide resolved
certora/confs/Liveness.conf Outdated Show resolved Hide resolved
QGarchery
QGarchery previously approved these changes Oct 3, 2024
View reviewed changes
MathisGD
MathisGD reviewed Oct 3, 2024
View reviewed changes
certora/specs/Liveness.spec Show resolved Hide resolved
certora/specs/Liveness.spec Show resolved Hide resolved
certora/specs/Liveness.spec Outdated Show resolved Hide resolved
certora/specs/Liveness.spec Outdated Show resolved Hide resolved
certora/specs/Liveness.spec Outdated Show resolved Hide resolved
QGarchery
QGarchery previously approved these changes Oct 3, 2024
View reviewed changes
MathisGD
MathisGD previously approved these changes Oct 3, 2024
View reviewed changes
@colin-morpho colin-morpho dismissed stale reviews from MathisGD and QGarchery via 0c27b5c October 3, 2024 14:42
QGarchery
QGarchery approved these changes Oct 3, 2024
View reviewed changes
certora/specs/Liveness.spec Show resolved Hide resolved
@colin-morpho colin-morpho merged commit 6b8dfc1 into main Oct 4, 2024
4 checks passed
@colin-morpho colin-morpho deleted the colin@verif/pre-liquidations-repay branch October 4, 2024 09:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@MathisGD MathisGD MathisGD approved these changes

@QGarchery QGarchery QGarchery approved these changes

Assignees

@colin-morpho colin-morpho

Labels
done verification Fromal verification with Certora
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Verify that pre-liquidations repay
3 participants
@colin-morpho @QGarchery @MathisGD