[Certora] Liquidate buffer, with executable code#708

Merged

QGarchery merged 30 commits intomainfrom certora/exec-liquidate-buffer

Mar 3, 2025

+106-2

Commits on Dec 9, 2024

feat: executable liquidate, attempt prove buffer
QGarchery
committed

Commits on Dec 10, 2024

fix: repaid shares computation
QGarchery
committed

Commits on Dec 11, 2024

Commits on Dec 12, 2024

chore: one assert
QGarchery
committed

Commits on Jan 16, 2025

feat: more summarization
QGarchery
committed
Update README.md

Bilogweb3
authored and
QGarchery
committed
feat: add flashLoan input validation
QGarchery
committed
docs: improve wording of assumptions for liveness

MathisGD
authored and
QGarchery
committed
docs: wording

MathisGD
authored and
QGarchery
committed
chore: remove bytecode hash from compilation

MathisGD
authored and
QGarchery
committed
chore: explicitly turn on the optimizer

MathisGD
authored and
QGarchery
committed
build: add evm_version

adhusson
authored and
QGarchery
committed
Update foundry.toml

MathisGD
and
QGarchery
committed
fix : rename harness to helpers

=
authored and
QGarchery
committed
fix: rename harness related paths

=
authored and
QGarchery
committed
chore: rename harness folder to helpers
QGarchery
committed
Merge branch 'main' into certora/exec-liquidate-buffer
QGarchery
committed
fix: signature accrueInterest
QGarchery
committed

Commits on Feb 16, 2025

refactor: simplify assumptions and multi-assert
QGarchery
committed

Commits on Feb 17, 2025

Commits on Feb 28, 2025