Code

Adding UniswapV2 properties#38

Code

Draft

tuturu-tech wants to merge 9 commits intomaincrytic/properties:mainfrom dev-univ2-propertiescrytic/properties:dev-univ2-propertiesCopy head branch name to clipboard

+4,198-1

Commits

Commits on Jul 5, 2023

• inital setup

  tuturu-tech

  committed
  97f450b

  Copy full SHA for 97f450b

• initial setup

  tuturu-tech

  committed
  245efb7

  Copy full SHA for 245efb7

• add liq properties

  tuturu-tech

  committed
  56d28cc

  Copy full SHA for 56d28cc

• remove liq properties

  tuturu-tech

  committed
  58eb460

  Copy full SHA for 58eb460

Commits on Jul 6, 2023

• first swap property

  tuturu-tech

  committed
  d469370

  Copy full SHA for d469370

Commits on Jul 7, 2023

• initial router setup

  tuturu-tech

  committed
  3ad5689

  Copy full SHA for 3ad5689

• router and pair draft properties, formatting

  tuturu-tech

  committed
  c14752d

  Copy full SHA for c14752d

• fix compiler error, add more preconditions

  tuturu-tech

  committed
  4d33a89

  Copy full SHA for 4d33a89

• added missing swap property

  tuturu-tech

  committed
  548c494

  Copy full SHA for 548c494