Code

Add allowCalls cheatcode#926

Code

Open

palinatolmach wants to merge 40 commits intomasterruntimeverification/kontrol:masterfrom allow-calls-cheatcoderuntimeverification/kontrol:allow-calls-cheatcodeCopy head branch name to clipboard

+935-828

Commits

Commits on Jan 8, 2025

• Draft for the allowCalls implementation

  palinatolmach

  committed
  6305559

  Copy full SHA for 6305559

Commits on Jan 10, 2025

• Make AllowedCallCellMap empty in init cterm

  palinatolmach

  committed
  6f33d53

  Copy full SHA for 6f33d53

• allowedCallsList refactoring, add allowedAllCalls

  palinatolmach

  committed
  f4a75d7

  Copy full SHA for f4a75d7

Commits on Jan 13, 2025

• Merge branch 'master' into allow-calls-cheatcode

  palinatolmach

  authored
  2d0f9ef

  Copy full SHA for 2d0f9ef

• Add new rule, K cell pattern

  palinatolmach

  committed
  5c47b68

  Copy full SHA for 5c47b68

Commits on Jan 14, 2025

• Merge branch 'master' into allow-calls-cheatcode

  palinatolmach

  authored
  248e7c0

  Copy full SHA for 248e7c0

Commits on Jan 16, 2025

• Merge branch 'master' into allow-calls-cheatcode

  palinatolmach

  authored
  fcc15d9

  Copy full SHA for fcc15d9

• Add list simplifications

  palinatolmach

  committed
  759caeb

  Copy full SHA for 759caeb

• Adjust and add tests for allowCalls

  palinatolmach

  committed
  50bf832

  Copy full SHA for 50bf832

• Add tests for allowCalls to end-to-end tests

  palinatolmach

  committed
  7e5e33b

  Copy full SHA for 7e5e33b

• Update expected output in end-to-end tests

  palinatolmach

  committed
  bff0810

  Copy full SHA for bff0810

• Remove fixed kontrol-cheatcodes version

  palinatolmach

  committed
  001cf55

  Copy full SHA for 001cf55

• Removed a TODO comment

  palinatolmach

  committed
  e5ab34b

  Copy full SHA for e5ab34b

• cheatcodes.md cleanup

  palinatolmach

  committed
  a4ad642

  Copy full SHA for a4ad642

• Remove ADDRESSLIST_CELL

  palinatolmach

  committed
  eb4b118

  Copy full SHA for eb4b118

• AllowChangesTest cleanup

  palinatolmach

  committed
  5a32c70

  Copy full SHA for 5a32c70

• Another output update

  palinatolmach

  committed
  7918983

  Copy full SHA for 7918983

• Update expected output

  palinatolmach

  committed
  f5a8b12

  Copy full SHA for f5a8b12

• Update CSE expected output

  palinatolmach

  committed
  3181d14

  Copy full SHA for 3181d14

• Update trace tests output

  palinatolmach

  committed
  2ffc75d

  Copy full SHA for 2ffc75d

• Use auxiliary_lemmas in end-to-end tests

  palinatolmach

  committed
  0c4380b

  Copy full SHA for 0c4380b

• Output update for RandomVarTest

  palinatolmach

  committed
  bef331a

  Copy full SHA for bef331a

• Enable auxiliary_lemmas in build instead of prove

  palinatolmach

  committed
  232ec94

  Copy full SHA for 232ec94

• Merge branch 'master' into allow-calls-cheatcode

  palinatolmach

  authored
  c9cce21

  Copy full SHA for c9cce21

• Change testFailAllowCalls_ifNotWhitelisted signature

  palinatolmach

  committed
  c7d2bab

  Copy full SHA for c7d2bab

• Remove expectRevert from failing test

  palinatolmach

  committed
  376146c

  Copy full SHA for 376146c

• Apply review suggestion

  Show description for b758ee0
  

  palinatolmach

  and

  anvacaru

  authored
  b758ee0

  Copy full SHA for b758ee0

• Another output update for RandomVarTest

  palinatolmach

  committed
  a9fae41

  Copy full SHA for a9fae41

Commits on Jan 17, 2025

• Reduce end-to-end parallel processes to 6

  palinatolmach

  committed
  7a09749

  Copy full SHA for 7a09749

• update expected output

  anvacaru

  committed
  33d6eb5

  Copy full SHA for 33d6eb5

• Apply CallToAddress review suggestion

  Show description for c412328
  

  palinatolmach

  and

  anvacaru

  authored
  c412328

  Copy full SHA for c412328

• Use .Bytes to represent all calls being allowed

  palinatolmach

  committed
  ab78122

  Copy full SHA for ab78122

• Another output update for RandomVarTest.test_custom_names

  palinatolmach

  committed
  0eeb826

  Copy full SHA for 0eeb826

Commits on Jan 19, 2025

• Experiment: add --force-sequential to end-to-end tests

  palinatolmach

  committed
  a533c8b

  Copy full SHA for a533c8b

• Reduce num processes in the update-output job to 4

  palinatolmach

  committed
  44cc1dc

  Copy full SHA for 44cc1dc

• Update RandomVarTest.test_custom_names

  palinatolmach

  committed
  bc8c5f9

  Copy full SHA for bc8c5f9

Commits on Jan 20, 2025

• update expected output

  anvacaru

  committed
  e8b1db5

  Copy full SHA for e8b1db5

• Merge branch 'master' into allow-calls-cheatcode

  anvacaru

  authored
  63ee68e

  Copy full SHA for 63ee68e

Commits on Jan 21, 2025

• see full diff in ci

  anvacaru

  committed
  2c03441

  Copy full SHA for 2c03441

• show diff in ci

  anvacaru

  committed
  5fbe1cc

  Copy full SHA for 5fbe1cc