Code

Some bitwise and bool2Word lemmas#2241

Code

Closed

ehildenb wants to merge 11 commits intomasterruntimeverification/evm-semantics:masterfrom bitwise-lemmasruntimeverification/evm-semantics:bitwise-lemmasCopy head branch name to clipboard

+33-13

Commits

Commits on Jan 9, 2024

• kproj/evm: avoid generating cell fragments

  ehildenb

  committed
  1a865c0

  Copy full SHA for 1a865c0

• lemmas/bitwise-simplification, specs/int-simplifications-spec: add simplification for simple bitwise xor

  ehildenb

  committed
  42ef32d

  Copy full SHA for 42ef32d

• lemmas/int-simplification, specs/lemmas-spec: add simplifications for a bool2Word clause

  ehildenb

  committed
  eaaac0c

  Copy full SHA for eaaac0c

• Set Version: 1.0.408

  

  devops

  committed
  a1f6689

  Copy full SHA for a1f6689

• Merge branch 'master' into bitwise-lemmas

  ehildenb

  authored
  1df4d57

  Copy full SHA for 1df4d57

• Set Version: 1.0.409

  

  devops

  committed
  9d1328a

  Copy full SHA for 9d1328a

Commits on Jan 10, 2024

• Merge remote-tracking branch 'upstream/master' into bitwise-lemmas

  ehildenb

  committed
  1ae7b01

  Copy full SHA for 1ae7b01

• Set Version: 1.0.411

  

  devops

  committed
  a668e48

  Copy full SHA for a668e48

• lemmas/bitwise-simplification: generalize lemma

  ehildenb

  committed
  980998f

  Copy full SHA for 980998f

Commits on Jan 11, 2024

• Merge branch 'master' into bitwise-lemmas

  PetarMax

  authored
  cf808b8

  Copy full SHA for cf808b8

• Set Version: 1.0.413

  

  devops

  committed
  00aedfb

  Copy full SHA for 00aedfb