Code

Memory update simplifications#2634

Code

Merged

rv-jenkins merged 5 commits intomasterruntimeverification/evm-semantics:masterfrom petar/memupdate-lemmasruntimeverification/evm-semantics:petar/memupdate-lemmasCopy head branch name to clipboardOct 8, 2024

+28-15

Commits

Commits on Oct 1, 2024

• memory update simplifications from Kontrol

  PetarMax

  committed
  62bb884

  Copy full SHA for 62bb884

• removing unneeded lemma

  PetarMax

  committed
  e1aa638

  Copy full SHA for e1aa638

• Revert "removing unneeded lemma"

  Show description for 7ca7945
  PetarMax

  committed
  7ca7945

  Copy full SHA for 7ca7945

Commits on Oct 7, 2024

• Merge branch 'master' into petar/memupdate-lemmas

  PetarMax

  authored
  dd676d3

  Copy full SHA for dd676d3

Commits on Oct 8, 2024

• Merge branch 'master' into petar/memupdate-lemmas

  PetarMax

  authored
  207b42b

  Copy full SHA for 207b42b