Code

CSE with merging node#889

Code

Open

Stevengre wants to merge 19 commits intomasterruntimeverification/kontrol:masterfrom jh/cse-with-merging-noderuntimeverification/kontrol:jh/cse-with-merging-nodeCopy head branch name to clipboard

+97,149-4,240

Commits

Commits on Dec 17, 2024

• merging node during CSE

  Stevengre

  committed
  c36cac7

  Copy full SHA for c36cac7

• make it easy to check the correctness of CSE by changing the proving options

  Stevengre

  committed
  a1cfa99

  Copy full SHA for a1cfa99

• update expected with merging node

  Stevengre

  committed
  47dca73

  Copy full SHA for 47dca73

• add heuristics for merging node

  Stevengre

  committed
  97e9c04

  Copy full SHA for 97e9c04

• update the expected files with merging node

  Stevengre

  committed
  8a9d5ab

  Copy full SHA for 8a9d5ab

• update expected files

  Stevengre

  committed
  942a582

  Copy full SHA for 942a582

• CSE CI test for Branches.applyOp

  Stevengre

  committed
  a744e65

  Copy full SHA for a744e65

• update expected files for CSE testing

  Stevengre

  committed
  e1e5efb

  Copy full SHA for e1e5efb

• Updated expected output

  

  palinatolmach

  authored and

  Stevengre

  committed
  f066a10

  Copy full SHA for f066a10

• update expected files for CSE testing

  Stevengre

  committed
  74b6883

  Copy full SHA for 74b6883

• CallableStorageTest expected output update

  

  palinatolmach

  authored and

  Stevengre

  committed
  de5aad2

  Copy full SHA for de5aad2

• Reverting the output change

  

  palinatolmach

  authored and

  Stevengre

  committed
  ccf529a

  Copy full SHA for ccf529a

• skip the test_str() because some unknown non-deterministic on it for passing CI

  Stevengre

  committed
  1cc57bd

  Copy full SHA for 1cc57bd

• don't skip CallableStorageTest.test_str() because it might inspect an error of our implementation

  Stevengre

  committed
  bc3d8db

  Copy full SHA for bc3d8db

• change KEVMSemantics to KontrolSemantics for minimize_kcfg

  Stevengre

  committed
  9d59a56

  Copy full SHA for 9d59a56

• update expected using foundryup --version nightly-a0a002020be4c40946fe122fe6ff752b21cb2885

  Stevengre

  committed
  e34a2c1

  Copy full SHA for e34a2c1

• [to-delete] add test script for cse

  Stevengre

  committed
  1a46565

  Copy full SHA for 1a46565

• update the expected files after rebasing.

  Stevengre

  committed
  bc1ced4

  Copy full SHA for bc1ced4

• update expected files, foundryup --version nightly-a0a002020be4c40946fe122fe6ff752b21cb2885

  Stevengre

  committed
  8ed9f8b

  Copy full SHA for 8ed9f8b