d-flex flex-column width-full">

Merge branch 'main' into jochen/balanceIndex

d88ab39

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

forge-old on: pull_request

compare-bytecode

forge on: pull_request 1

format

lint

sizes

test (0, standard)

test (1, no-revert)

test (2, usdt)

test (3, revert-to-zero)

test (4, no-return)

certora on: pull_request 30

matrix

verify (BalanceAfterSlashing)

verify (BalanceEffects)

verify (Bitmap)

verify (CollateralBitmap)

verify (Consume)

verify (ContinuousFee)

verify (CreatedObligations)

verify (EcrecoverAuthorizer)

verify (EmptyOffer)

verify (ExactMath)

verify (Healthiness)

verify (Liquidate)

verify (LiquidationBoundedByLIF)

verify (LiquidationProfitability)

verify (LossIndex)

verify (MakerProtection)

verify (Midnight)

verify (MulDiv)

verify (NoDivisionByZero)

verify (OnlyAuthorizedCanChange)

verify (Ratification)

verify (Reverts)

verify (Role)

verify (Solvency)

verify (TradingFeeBoundaries)

verify (UpdateBeforeCredit)

verify (WithdrawableMonotonicity)