Code

Certora#200

Code

Draft

Roy-Certora wants to merge 28 commits intoensdomains:masterensdomains/ens-contracts:masterfrom Certora:certoraCertora/ens-contracts:certoraCopy head branch name to clipboard

+1,674-4

Commits

Commits on Dec 14, 2022

• basic setup certora folder

  nd-certora

  committed
  0836a64

  Copy full SHA for 0836a64

Commits on Dec 19, 2022

• Update NameWrapper setup

  Roy-Certora

  committed
  53e1e1d

  Copy full SHA for 53e1e1d

• Created Makefile for munging

  Show description for dd41cbd
  Roy-Certora

  committed
  dd41cbd

  Copy full SHA for dd41cbd

Commits on Dec 20, 2022

• Created harnesses with storage variables

  Roy-Certora

  committed
  284f2f8

  Copy full SHA for 284f2f8

Commits on Dec 26, 2022

• Temporary fix for pointer analysis error

  Roy-Certora

  committed
  068201f

  Copy full SHA for 068201f

Commits on Dec 27, 2022

• Update script and harness

  Roy-Certora

  committed
  2c823d2

  Copy full SHA for 2c823d2

• Update NameWrapper spec

  Roy-Certora

  committed
  f21fcd0

  Copy full SHA for f21fcd0

Commits on Dec 30, 2022

• Updated NameWrapper and BytesUtils spec

  Show description for ec59c96
  Roy-Certora

  committed
  ec59c96

  Copy full SHA for ec59c96

Commits on Jan 10, 2023

• Solved stack too deep error. Update rules.

  Roy-Certora

  committed
  98bb9be

  Copy full SHA for 98bb9be

Commits on Jan 12, 2023

• Updated rules, harness and script

  Roy-Certora

  committed
  bc8dbcf

  Copy full SHA for bc8dbcf

Commits on Jan 17, 2023

• Updated spec

  Roy-Certora

  committed
  097d56a

  Copy full SHA for 097d56a

Commits on Jan 18, 2023

• adding more definitions of fuses

  

  hristo

  committed
  b2b5419

  Copy full SHA for b2b5419

• spec and script for demo

  

  hristo

  committed
  5c91697

  Copy full SHA for 5c91697

• adding rule cannotBurn_CANNOT_UNWRAP_Unless_PARENT_CANNOT_CONTROL_IsBurned

  

  hristo

  committed
  2cf9b33

  Copy full SHA for 2cf9b33

• reducing rules for the demo

  

  hristo

  committed
  6d0e2c5

  Copy full SHA for 6d0e2c5

• Fixed setup. Replaced BytesUtils with harness.

  Roy-Certora

  committed
  c8875fe

  Copy full SHA for c8875fe

• Update spec. Fixed Bytes Utils keccak

  Roy-Certora

  committed
  96f9f5e

  Copy full SHA for 96f9f5e

• Fix cannotRenewExpiredName

  Roy-Certora

  committed
  773fd95

  Copy full SHA for 773fd95

Commits on Jan 19, 2023

• Update spec and demo

  Roy-Certora

  committed
  a642dc1

  Copy full SHA for a642dc1

• Complete demo spec and script

  Roy-Certora

  committed
  fc7fd30

  Copy full SHA for fc7fd30

• restore munged

  Roy-Certora

  committed
  2eb1bf2

  Copy full SHA for 2eb1bf2

Commits on Jan 26, 2023

• Added READ.md and fixed munging script

  Roy-Certora

  committed
  2184f17

  Copy full SHA for 2184f17

Commits on Jan 31, 2023

• Updated some rules and scripts

  Roy-Certora

  committed
  e2f040b

  Copy full SHA for e2f040b

• Minor fixes

  Roy-Certora

  committed
  283677c

  Copy full SHA for 283677c

Commits on Feb 1, 2023

• Git-Squash setup

  Roy-Certora

  committed
  a2c6909

  Copy full SHA for a2c6909

• Merge branch 'certora' of https://github.com/Certora/ens-contracts into certora

  Roy-Certora

  committed
  c9c7f2f

  Copy full SHA for c9c7f2f

• Merge branch 'ensdomains:master' into certora

  Roy-Certora

  authored
  02949c8

  Copy full SHA for 02949c8

• Fix munge and harness after merge

  Roy-Certora

  committed
  8da9937

  Copy full SHA for 8da9937