d-flex flex-column width-full">

changed spec referred

bcd9346

Select commit

Loading

Failed to load commit list.

Uh oh!

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

Aikido PR Checks

Aikido Security: check code

forge on: pull_request 2

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 3

matrix

verify (BalanceEffects)

verify (Bitmap)

verify (CollateralBitmap)

verify (Consume)

verify (ContinuousFee)

verify (CreatedMarkets)

verify (EcrecoverAuthorizer)

verify (EmptyOffer)

verify (ExactMath)

verify (Healthiness)

verify (HealthyAfterRCFLiquidation)

verify (LastIdPatternRepro)

verify (Liquidate)

verify (LiquidationBoundedByLIF)

verify (LiquidationProfitability)

verify (LossFactor)

verify (Midnight)

verify (MulDiv)

verify (NoDivisionByZero)

verify (OnlyAuthorizedCanChange)

verify (Ratification)

verify (Reverts)

verify (Role)

verify (Solvency)

verify (TradingFeeBoundaries)

verify (TradingFeeSpread)

verify (UpdateBeforeCredit)

verify (WithdrawableMonotonicity)

forge-old on: pull_request

compare-bytecode

Select a check to view from the sidebar