Quentin Garchery 882ada5b10 fix: require borrowLessThanSupply

2025-08-13 11:12:45 +02:00

..

AccrueInterest.spec

refactor: fmt spec files

2025-06-05 15:39:49 +02:00

AssetsAccounting.spec

feat: externalize utilitary verification functions

2024-10-28 11:38:01 +01:00

ConsistentState.spec

fix: naming suggestion

2024-10-28 15:49:43 +01:00

ExactMath.spec

refactor: simplify summarization of mulDiv and price

2025-02-21 18:26:25 +01:00

ExchangeRate.spec

refactor: fmt spec files

2025-06-05 15:39:49 +02:00

Health.spec

refactor: fmt spec files

2025-06-05 15:39:49 +02:00

LibSummary.spec

feat: externalize utilitary verification functions

2024-10-28 11:38:01 +01:00

LiquidateBuffer.spec

refactor: fmt spec files

2025-06-05 15:39:49 +02:00

Liveness.spec

fix: require borrowLessThanSupply

2025-08-13 11:12:45 +02:00

Reentrancy.spec

refactor: fmt spec files

2025-06-05 15:39:49 +02:00

Reverts.spec

feat: add flashLoan input validation

2025-01-16 14:02:02 +01:00

StayHealthy.spec

refactor: put function definition at the top of the file

2025-02-25 17:33:03 +01:00

Transfer.spec

chore: use persistent ghost

2024-01-19 21:52:21 +01:00