Code

Removing #rangeBool reasoning#2616

Code

Merged

PetarMax merged 5 commits intomasterruntimeverification/evm-semantics:masterfrom petar/rangeBool-correctionruntimeverification/evm-semantics:petar/rangeBool-correctionCopy head branch name to clipboardSep 10, 2024

+6-9

Commits

Commits on Sep 10, 2024

• removing rangeBool reasoning

  PetarMax

  committed
  0c0e59d

• equality simplifications

  PetarMax

  committed
  47aef48

• Merge branch 'master' into petar/rangeBool-correction

  PetarMax

  authored
  fdf690f

• reducing required lemmas

  PetarMax

  committed
  0f5f319

• sum-to-n-foundry-spec

  PetarMax

  committed
  35433ee