Code

Adding General Rules#7

Code

Open

sarittenen wants to merge 5 commits intomasterCertora/Examples:masterfrom GeneralExamplesCertora/Examples:GeneralExamplesCopy head branch name to clipboard

+1,869

Commits

Commits on Jul 4, 2023

• Adding general rules and confs for erc20 and valult contracts

  sarittenen

  committed
  60ab7a1

  Copy full SHA for 60ab7a1

Commits on Jul 6, 2023

• adding ERC20Helper

  sarittenen

  committed
  5a94ada

  Copy full SHA for 5a94ada

Commits on Aug 22, 2023

• Merge branch 'master' into GeneralExamples

  nd-certora

  committed
  8b4830d

  Copy full SHA for 8b4830d

Commits on Aug 23, 2023

• general spec

  nd-certora

  committed
  7384675

  Copy full SHA for 7384675

Commits on Jan 15, 2024

• Add self call example

  nivcertora

  committed
  021e3fc

  Copy full SHA for 021e3fc