Code

Gad/setup#18

Code

Draft

Roy-Certora wants to merge 29 commits intostaging-2.5-forkCertora/etherfi-smart-contracts-fork:staging-2.5-forkfrom gad/setupCertora/etherfi-smart-contracts-fork:gad/setupCopy head branch name to clipboard

+1,308-23

Commits

Commits on Jul 25, 2024

• Auction manager initial setup

  GadElbazCertora

  committed
  9b40087

  Copy full SHA for 9b40087

• Merge pull request #12 from Certora/staging-2.5-fork

  Show description for 711e083
  GadElbazCertora

  authored
  711e083

  Copy full SHA for 711e083

• auctionManager new rules

  GadElbazCertora

  committed
  f93dcfe

  Copy full SHA for f93dcfe

Commits on Jul 28, 2024

• add eeth and weeth

  GadElbazCertora

  committed
  6ca9193

  Copy full SHA for 6ca9193

• update weeth spec

  GadElbazCertora

  committed
  576f37d

  Copy full SHA for 576f37d

• update weeth

  GadElbazCertora

  committed
  07577f9

  Copy full SHA for 07577f9

• .

  GadElbazCertora

  committed
  dddb740

  Copy full SHA for dddb740

Commits on Jul 31, 2024

• Merge pull request #13 from etherfi-protocol/staging-2.5

  Show description for d9cb4ed
  GadElbazCertora

  authored
  d9cb4ed

  Copy full SHA for d9cb4ed

Commits on Aug 4, 2024

• update setups - stakingManager

  GadElbazCertora

  committed
  fcbef39

  Copy full SHA for fcbef39

Commits on Aug 11, 2024

• update rules

  GadElbazCertora

  committed
  45a5491

  Copy full SHA for 45a5491

• Merge pull request #17 from Certora/staging-2.5-fork

  Show description for 92a2ad7
  GadElbazCertora

  authored
  92a2ad7

  Copy full SHA for 92a2ad7

• align spec with new code

  GadElbazCertora

  committed
  9cb729b

  Copy full SHA for 9cb729b

Commits on Aug 12, 2024

• update nfts rules

  GadElbazCertora

  committed
  c0fece6

  Copy full SHA for c0fece6

Commits on Aug 26, 2024

• update auction manager spec

  GadElbazCertora

  committed
  2fab56e

  Copy full SHA for 2fab56e

• update staking manager spec

  GadElbazCertora

  committed
  20749f2

  Copy full SHA for 20749f2

• etherfi node specs

  GadElbazCertora

  committed
  b7255fe

  Copy full SHA for b7255fe

Commits on Sep 16, 2024

• auction manager update

  GadElbazCertora

  committed
  3f55802

  Copy full SHA for 3f55802

• AuctionManager

  GadElbazCertora

  committed
  13e0a1f

  Copy full SHA for 13e0a1f

• Auction Manager Setup remove redundant

  GadElbazCertora

  committed
  0aacea5

  Copy full SHA for 0aacea5

• EETH update

  GadElbazCertora

  committed
  718c8b0

  Copy full SHA for 718c8b0

• nft dispatch update

  GadElbazCertora

  committed
  f011de7

  Copy full SHA for f011de7

• update staking manager

  GadElbazCertora

  committed
  46135db

  Copy full SHA for 46135db

• add oracle and remove redundant

  GadElbazCertora

  committed
  4eb3a2f

  Copy full SHA for 4eb3a2f

• add EtherFi interface

  GadElbazCertora

  committed
  c54a0be

  Copy full SHA for c54a0be

Commits on Sep 18, 2024

• update etherfi node spec

  GadElbazCertora

  committed
  d361f5a

  Copy full SHA for d361f5a

• add etherfi nodes manager specs

  GadElbazCertora

  committed
  b0f8ccd

  Copy full SHA for b0f8ccd

Commits on Sep 19, 2024

• remove redundant

  GadElbazCertora

  committed
  df1b9bb

  Copy full SHA for df1b9bb

• update comments and documentation

  GadElbazCertora

  committed
  5ab7b00

  Copy full SHA for 5ab7b00

• small update

  GadElbazCertora

  committed
  705ae29

  Copy full SHA for 705ae29