Code

Upstream simplified Optimism test#369

Code

Merged

rv-jenkins merged 41 commits intomasterruntimeverification/kontrol:masterfrom upstream-op-testruntimeverification/kontrol:upstream-op-testCopy head branch name to clipboardMar 17, 2024

+595-31

Commits

Commits on Feb 14, 2024

• Upstream PortalTest.test_withdrawal_paused with lemmas, update expected output

  palinatolmach

  committed
  0351eb9

  Copy full SHA for 0351eb9

• Set Version: 0.1.160

  

  devops

  committed
  b854b57

  Copy full SHA for b854b57

Commits on Feb 15, 2024

• Merge branch 'master' into upstream-op-test

  palinatolmach

  authored
  98de847

  Copy full SHA for 98de847

• Set Version: 0.1.161

  

  devops

  committed
  964ca22

  Copy full SHA for 964ca22

• Simplify test_withdrawal_paused to speed it up

  palinatolmach

  committed
  471f072

  Copy full SHA for 471f072

Commits on Feb 16, 2024

• Experimental: temp increase CI timeout

  palinatolmach

  committed
  98b1176

  Copy full SHA for 98b1176

Commits on Feb 22, 2024

• Merge branch 'master' into upstream-op-test

  palinatolmach

  committed
  f649cf5

  Copy full SHA for f649cf5

• Set Version: 0.1.165

  

  devops

  committed
  ab19d26

  Copy full SHA for ab19d26

Commits on Feb 26, 2024

• Merge branch 'master' into upstream-op-test

  palinatolmach

  committed
  9ecc8a5

  Copy full SHA for 9ecc8a5

• Set Version: 0.1.172

  

  devops

  committed
  97acfaf

  Copy full SHA for 97acfaf

Commits on Feb 29, 2024

• Merge branch 'master' into upstream-op-test

  palinatolmach

  committed
  4cd5e92

  Copy full SHA for 4cd5e92

• Set Version: 0.1.177

  

  devops

  committed
  07f35ce

  Copy full SHA for 07f35ce

Commits on Mar 3, 2024

• Merge branch 'master' into upstream-op-test

  palinatolmach

  committed
  a2cda78

  Copy full SHA for a2cda78

• Set Version: 0.1.179

  

  devops

  committed
  0495a8f

  Copy full SHA for 0495a8f

Commits on Mar 4, 2024

• Optimism lemmas cleanup

  palinatolmach

  committed
  b2bdfeb

  Copy full SHA for b2bdfeb

• Update simplified OptimismTest corresponding to the copying loop lemma

  palinatolmach

  committed
  0c4ab95

  Copy full SHA for 0c4ab95

Commits on Mar 5, 2024

• Merge branch 'master' into upstream-op-test

  palinatolmach

  committed
  1872952

  Copy full SHA for 1872952

• Set Version: 0.1.180

  

  devops

  committed
  e0742cf

  Copy full SHA for e0742cf

Commits on Mar 6, 2024

• Merge branch 'master' into upstream-op-test

  palinatolmach

  committed
  0fc5a7d

  Copy full SHA for 0fc5a7d

• Set Version: 0.1.185

  

  devops

  committed
  ccd9d74

  Copy full SHA for ccd9d74

• Upstreamed simplified PortalTest

  palinatolmach

  committed
  665f0cc

  Copy full SHA for 665f0cc

• Cleanup updated contracts.k and foundry.k

  palinatolmach

  committed
  4be1021

  Copy full SHA for 4be1021

• Update output for testFail_assume_true w/simplifications, cosmetic changes in foundry.k

  palinatolmach

  committed
  aace1d2

  Copy full SHA for aace1d2

Commits on Mar 7, 2024

• Merge branch 'master' into upstream-op-test

  palinatolmach

  committed
  6b1919e

  Copy full SHA for 6b1919e

• Set Version: 0.1.188

  

  devops

  committed
  031b3f4

  Copy full SHA for 031b3f4

• Update output for test_assume_false

  palinatolmach

  committed
  1ddd079

  Copy full SHA for 1ddd079

• Update revert message in Portal

  Show description for eb4aeb9
  

  palinatolmach

  and

  anvacaru

  authored
  eb4aeb9

  Copy full SHA for eb4aeb9

• Set Version: 0.1.189

  

  devops

  committed
  c66e2fd

  Copy full SHA for c66e2fd

• Merge branch 'master' into upstream-op-test

  palinatolmach

  committed
  e041e74

  Copy full SHA for e041e74

Commits on Mar 8, 2024

• Merge branch 'master' into upstream-op-test

  palinatolmach

  authored
  2c0ebe6

  Copy full SHA for 2c0ebe6

• Set Version: 0.1.190

  

  devops

  committed
  93740e3

  Copy full SHA for 93740e3

• Merge branch 'master' into upstream-op-test

  palinatolmach

  committed
  685a954

  Copy full SHA for 685a954

• Set Version: 0.1.192

  

  devops

  committed
  f8e9d5c

  Copy full SHA for f8e9d5c

• Remove reflexivity lemma

  palinatolmach

  committed
  c04d126

  Copy full SHA for c04d126

• Update bytecode for Portal

  palinatolmach

  committed
  cd457c8

  Copy full SHA for cd457c8

Commits on Mar 15, 2024

• Merge branch 'master' into upstream-op-test

  palinatolmach

  committed
  7c9142c

  Copy full SHA for 7c9142c

• Set Version: 0.1.205

  

  devops

  committed
  22b9224

  Copy full SHA for 22b9224

• Revert lemmas.k renaming

  palinatolmach

  committed
  5996891

  Copy full SHA for 5996891

• Formatting in tests

  palinatolmach

  committed
  871f883

  Copy full SHA for 871f883

Commits on Mar 17, 2024

• Merge branch 'master' into upstream-op-test

  palinatolmach

  committed
  00de1a3

  Copy full SHA for 00de1a3

• Set Version: 0.1.210

  

  devops

  committed
  dfacfa5

  Copy full SHA for dfacfa5