d-flex flex-column width-full">

log ratifier data

6897e12

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 1

format

matrix

verify (BalanceEffects)

verify (Bitmap)

verify (BundlerRepayInvertibility)

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 (NoDebtWithoutCollateral)

verify (NoDebtWithoutCollateralNativeECF)

verify (NoDivisionByZero)

verify (NoMultiplicationOverflow)

verify (NotCreatedMarket)

verify (OnlyAuthorizedCanChange)

verify (OnlyAuthorizedCanChangeUpdatedValues)

verify (OnlyExplicitPayerCanLoseTokens)

verify (PostMaturityDebt)

verify (PriceToTick)

verify (Ratification)

verify (Reentrancy)

verify (ReentrancyView)

verify (Reverts)

verify (Role)

verify (SettlementFeeBoundaries)

verify (SettlementFeeSpread)

verify (Solvency)

verify (SplitDoesNotPunishMakerOrFavorTaker)

verify (SplitPreservesAccounting)

verify (TakeAmountsLibInvertibility)

verify (TickToPrice)

verify (TickToPriceIsMonotonic)

verify (UpdateBeforeCredit)

verify (WithdrawableMonotonicity)

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)

Select a check to view from the sidebar