Code

Andrew#20

Code

Draft

Roy-Certora wants to merge 9 commits intoroy/withdrawRequestNFTCertora/etherfi-smart-contracts-fork:roy/withdrawRequestNFTfrom andrewCertora/etherfi-smart-contracts-fork:andrewCopy head branch name to clipboard

+358-4

Commits

Commits on Oct 1, 2024

• Comment out import as workaround for build failure

  Show description for 61f2fa4
  andrew-certora

  committed
  61f2fa4

Commits on Oct 3, 2024

• proof of remaining rules for EtherFiNode outflows

  Show description for 4944168
  andrew-certora

  committed
  4944168

Commits on Oct 7, 2024

• Add that only NodeManager calls Node outflow fxns

  andrew-certora

  committed
  bf27ecf

Commits on Oct 9, 2024

• LiquidityPoolMoneyFlow passing

  andrew-certora

  committed
  490eff8

• Remove WIP Recipients dont changed

  andrew-certora

  committed
  77ae603

Commits on Oct 10, 2024

• Delete callhook helper

  andrew-certora

  committed
  8e0a503

Commits on Oct 11, 2024

• Recipients dont change with some filtering

  andrew-certora

  committed
  23d389e

• Add passing link to recipientsDoNotChange

  andrew-certora

  committed
  d11c650

Commits on Oct 14, 2024

• Comment out frontrunning rules

  andrew-certora

  committed
  af43a99