Code

Certora squashed#2

Code

Closed

nisnislevi wants to merge 20 commits intoccip-ghoCertora/ccip-old:ccip-ghofrom certora-squashedCertora/ccip-old:certora-squashedCopy head branch name to clipboard

+4,872-6

Commits

Commits on May 8, 2024

• feat: Add custom upgradeable TokenPool contracts

  miguelmtzinf

  committed
  8a05713

Commits on May 15, 2024

• remove space at the end of file name

  nisnislevi

  committed
  4b28d61

Commits on May 19, 2024

• initial version of certora directory

  nisnislevi

  committed
  1392038

Commits on May 20, 2024

• test: Add unit and e2e tests (aave#4)

  Show description for 24d277f
  miguelmtzinf

  authored
  24d277f

• feat: Add Bridge limit admin (aave#6)

  Show description for e25ffef
  miguelmtzinf

  authored
  e25ffef

• fix: Rename error

  miguelmtzinf

  committed
  13afb40

Commits on May 22, 2024

• doc: Add caution docs to setBridgeLimit

  miguelmtzinf

  committed
  64cc73d

• spec for CCIP

  nisnislevi

  committed
  eef1b61

• fix: Fix github action dir name

  miguelmtzinf

  committed
  a666880

• Merge remote-tracking branch 'aave-orig/feat/gho-token-pool' into certora

  nisnislevi

  committed
  53397f7

• clean and add yml

  nisnislevi

  committed
  98e5411

• fix yml

  nisnislevi

  committed
  e08c03d

• fix yml

  nisnislevi

  committed
  408dbca

• clean and document spec file

  nisnislevi

  committed
  c36ccde

Commits on May 23, 2024

• fix: Add code diffs between custom token pools and standard implementation

  miguelmtzinf

  committed
  b1443cc

• fix: Directory restructure

  miguelmtzinf

  committed
  ffea18d

• fix: Fix README

  miguelmtzinf

  committed
  bf5ae08

• fix: Remove unneccesary files

  miguelmtzinf

  committed
  e2eac9f

Commits on May 26, 2024

• Merge with new CCIP version

  nisnislevi

  committed
  8596bf8

Commits on May 27, 2024

• for PR

  nisnislevi

  committed
  4cb1239