d-flex flex-column width-full">

Merge remote-tracking branch 'origin/main' into feat-rate-ratifier

057e1d3

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

certora on: pull_request

matrix

verify (BalanceEffects)

verify (Bitmap)

verify (CollateralBitmap)

verify (Consume)

verify (ContinuousFee)

verify (CreatedMarkets)

verify (EcrecoverAuthorizer)

verify (EmptyOffer)

verify (ExactMath)

verify (Healthiness)

verify (Liquidate)

verify (LiquidationBoundedByLIF)

verify (LiquidationProfitability)

verify (LossFactor)

verify (Midnight)

verify (MulDiv)

verify (NoDivisionByZero)

verify (NoMultiplicationOverflow)

verify (NotCreatedMarket)

verify (OnlyAuthorizedCanChange)

verify (OnlyExplicitPayerCanLoseTokens)

verify (PriceToTick)

verify (Ratification)

verify (Reverts)

verify (Role)

verify (SettlementFeeBoundaries)

verify (SettlementFeeSpread)

verify (Solvency)

verify (TickToPrice)

verify (UpdateBeforeCredit)

verify (WithdrawableMonotonicity)

forge on: pull_request

format

lint

sizes

test (0, standard)

test (1, no-revert)

test (2, usdt)

test (3, revert-to-zero)

test (4, no-return)

forge-old on: pull_request

compare-bytecode

Select a check to view from the sidebar