Code

Memory update lemma correction#2641

Code

Merged

rv-jenkins merged 4 commits intomasterruntimeverification/evm-semantics:masterfrom petar/lemma-correctionruntimeverification/evm-semantics:petar/lemma-correctionCopy head branch name to clipboardOct 10, 2024

+6-1

Commits

Commits on Oct 9, 2024

• lemma correction

  PetarMax

  committed
  32f95b3

  Copy full SHA for 32f95b3

• adding appropriate test

  PetarMax

  committed
  970f7d0

  Copy full SHA for 970f7d0

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

  PetarMax

  authored
  25d3d72

  Copy full SHA for 25d3d72

• correction

  PetarMax

  committed
  d5b9193

  Copy full SHA for d5b9193