[Certora] Liquidate buffer, with executable code#708

Draft

QGarchery wants to merge 19 commits intomainfrom certora/exec-liquidate-buffer

+78

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