Code

Sum types for ERC20#1445

Code

Draft

bugarela wants to merge 4 commits intomaininformalsystems/quint:mainfrom gabriela/erc20-sum-typesinformalsystems/quint:gabriela/erc20-sum-typesCopy head branch name to clipboard

+189-213

Commits

Commits on Nov 27, 2023

• Use sum types in erc20.qnt

  bugarela

  committed
  aa7147b

  Copy full SHA for aa7147b

Commits on Nov 29, 2023

• Merge branch 'gabriela/fixes-for-paxos' into gabriela/erc20-sum-types

  bugarela

  committed
  3dc9bcc

  Copy full SHA for 3dc9bcc

Commits on Jun 18, 2024

• Merge remote-tracking branch 'origin/main' into gabriela/erc20-sum-types

  bugarela

  committed
  27559bb

  Copy full SHA for 27559bb

• Rewrite more parts to match the newest version of the contract and use

  Show description for 488a935
  bugarela

  committed
  488a935

  Copy full SHA for 488a935