Code

Add ERC20Utils Assembly example#95

Code

Open

Roy-Certora wants to merge 3 commits intomasterCertora/Examples:masterfrom roy/ERC20UtilsAssemblyCertora/Examples:roy/ERC20UtilsAssemblyCopy head branch name to clipboard

+1,113

Commits

Commits on May 28, 2024

• Add ERC20Utils Assembly example

  Roy-Certora

  committed
  6793b8b

  Copy full SHA for 6793b8b

• Fix dispatch summaries

  Roy-Certora

  committed
  a054e26

  Copy full SHA for a054e26

Commits on Jun 18, 2024

• Enhance summaries and rules. Add fallback caller for ETH case.

  Roy-Certora

  committed
  62405d2

  Copy full SHA for 62405d2