Code

[Certora] Handle overflows#105

Code

Open

colin-morpho wants to merge 15 commits intomainmorpho-org/morpho-token:mainfrom colin@verif/overflowsmorpho-org/morpho-token:colin@verif/overflowsCopy head branch name to clipboard

+75-25

Commits

Commits on Dec 16, 2024

• fix: typo

  colin-morpho

  committed
  6621340

  Copy full SHA for 6621340

• refactor: add require statements

  colin-morpho

  committed
  2ebbdff

  Copy full SHA for 2ebbdff

• refactor: simplify revert causes

  colin-morpho

  committed
  6ab5bad

  Copy full SHA for 6ab5bad

Commits on Jan 14, 2025

• refactor: safe require in MintBurn

  QGarchery

  committed
  2279357

  Copy full SHA for 2279357

• Merge pull request #106 from morpho-org/certora/safe-require-mint-burn

  Show description for c394113
  QGarchery

  authored
  c394113

  Copy full SHA for c394113

Commits on Jan 15, 2025

• fix: change unsafe require

  colin-morpho

  committed
  f55c098

  Copy full SHA for f55c098

• refactor: improve updatedDelegatedVPLTEqTotalSupply

  colin-morpho

  committed
  273104e

  Copy full SHA for 273104e

• fix: change style

  colin-morpho

  committed
  a73bda1

  Copy full SHA for a73bda1

• fix: syntax

  colin-morpho

  committed
  f6f5b89

  Copy full SHA for f6f5b89

Commits on Jan 16, 2025

• fix: add missing hypothesis in transfer rules

  colin-morpho

  committed
  f121755

  Copy full SHA for f121755

• fix: require statements

  colin-morpho

  committed
  fdbcc97

  Copy full SHA for fdbcc97

• fix: repair unsound rule

  colin-morpho

  committed
  389f418

  Copy full SHA for 389f418

• fix: assert delegation doesn't revert

  colin-morpho

  committed
  376c4fd

  Copy full SHA for 376c4fd

• docs: improve comment

  colin-morpho

  committed
  65567c2

  Copy full SHA for 65567c2

Commits on Jan 20, 2025

• fix: usage and docs of rule

  colin-morpho

  committed
  06b6407

  Copy full SHA for 06b6407