Code

enable kompile -O3#2363

Code

Merged

rv-jenkins merged 4 commits intomasterruntimeverification/evm-semantics:masterfrom kompile-o3runtimeverification/evm-semantics:kompile-o3Copy head branch name to clipboardMar 19, 2024

+4-4

Commits

Commits on Mar 19, 2024

• enable kompile -O3

  

  Dwight Guth

  committed
  ef18676

  Copy full SHA for ef18676

• Set Version: 1.0.501

  

  devops

  committed
  ad2cb47

  Copy full SHA for ad2cb47

• Merge branch 'master' into kompile-o3

  rv-jenkins

  authored
  0fb72fe

  Copy full SHA for 0fb72fe

• Set Version: 1.0.502

  

  devops

  committed
  6377713

  Copy full SHA for 6377713