Code

ERC721 properties#22

Code

Merged

ggrieco-tob merged 24 commits intomaincrytic/properties:mainfrom dev-erc721-propertiescrytic/properties:dev-erc721-propertiesCopy head branch name to clipboardApr 4, 2023

+12,400-7

Commits

Commits on Mar 28, 2023

• first draft of ERC721 properties

  tuturu-tech

  committed
  8f2c272

Commits on Mar 29, 2023

• chore: forge init

  tuturu-tech

  committed
  4e695e8

• ERC721 tests skeleton

  tuturu-tech

  committed
  884e89d

Commits on Mar 30, 2023

• fixed imports, added some tests

  tuturu-tech

  committed
  93fa701

• fixed external mint tests, added should-revert tests

  tuturu-tech

  committed
  fb3f417

• fixed ERC721 internal properties testing not starting up

  tuturu-tech

  committed
  cb24d21

Commits on Mar 31, 2023

• working internal and external tests for properties, added readme

  tuturu-tech

  committed
  fee5171

• added erc721 tests folder

  tuturu-tech

  committed
  4119537

• updated README with list of properties

  tuturu-tech

  committed
  53abf45

• updated main readme to include erc721

  tuturu-tech

  committed
  213ed7a

• updated properties.md table of contents

  tuturu-tech

  committed
  266ce39

• Merge branch 'main' into dev-erc721-properties

  tuturu-tech

  authored
  0916544

Commits on Apr 3, 2023

• rolled back gitmodules

  tuturu-tech

  committed
  e8fd265

• deleted top level remappings.txt

  tuturu-tech

  committed
  20df130

• fixing ERC721 foundry examples

  tuturu-tech

  committed
  87e0ab6

• fixed ERC721 foundry examples

  tuturu-tech

  committed
  083c32f

• fixes for ERC721 hardhat examples

  tuturu-tech

  committed
  1f754a3

• Update .gitmodules

  tuturu-tech

  authored
  fa00876

• Updated ERC721-BASE-001 in PROPERTIES.md

  tuturu-tech

  authored
  7988cbe

• fixing internal/external setup, added check for underflow, used prank to simplify preconditions for external testing

  tuturu-tech

  committed
  13a5899

• fix internal ERC721Compliant double variable definition

  tuturu-tech

  committed
  65051cd

Commits on Apr 4, 2023

• updated the way minting is done to improve performance

  tuturu-tech

  committed
  59ed2d7

• cleaning up ERC721 properties, using try/catch for edge cases

  tuturu-tech

  committed
  c3b3230

• update property to assert(false)

  tuturu-tech

  committed
  5b899a5