Code

Extending CSE support#355

Code

Merged

rv-jenkins merged 114 commits intomasterruntimeverification/kontrol:masterfrom petar/cse-explorationruntimeverification/kontrol:petar/cse-explorationCopy head branch name to clipboardMar 15, 2024

+3,225-5,199

Commits

Commits on Feb 9, 2024

• test for CSE function calls

  PetarMax

  committed
  ac29afc

  Copy full SHA for ac29afc

• Set Version: 0.1.152

  

  devops

  committed
  f001577

  Copy full SHA for f001577

• Merge remote-tracking branch 'origin/master' into petar/cse-exploration

  PetarMax

  committed
  a86786e

  Copy full SHA for a86786e

• Set Version: 0.1.153

  

  devops

  committed
  ea8b4df

  Copy full SHA for ea8b4df

Commits on Feb 12, 2024

• further examples, tests, and lemmas

  PetarMax

  committed
  781820e

  Copy full SHA for 781820e

• merge with master

  PetarMax

  committed
  738aa81

  Copy full SHA for 738aa81

• Set Version: 0.1.155

  

  devops

  committed
  2cc66ad

  Copy full SHA for 2cc66ad

Commits on Feb 13, 2024

• Update dependency: deps/kevm_release (#364)

  Show description for b0d2270
  

  2 peopleauthored and

  PetarMax

  committed
  b0d2270

  Copy full SHA for b0d2270

• Set Version: 0.1.156

  

  devops

  committed
  5e7808d

  Copy full SHA for 5e7808d

• merge with master

  PetarMax

  committed
  611d972

  Copy full SHA for 611d972

• Set Version: 0.1.158

  

  devops

  committed
  2eb00d3

  Copy full SHA for 2eb00d3

Commits on Feb 22, 2024

• Merge branch 'master' into petar/cse-exploration

  PetarMax

  authored
  0cf45fd

  Copy full SHA for 0cf45fd

• Set Version: 0.1.167

  

  devops

  committed
  f65a253

  Copy full SHA for f65a253

• refactoring, removing unneeded files

  PetarMax

  committed
  8420897

  Copy full SHA for 8420897

• Merge branch 'master' into petar/cse-exploration

  PetarMax

  authored
  e9dd9c3

  Copy full SHA for e9dd9c3

• Set Version: 0.1.169

  

  devops

  committed
  b8209ee

  Copy full SHA for b8209ee

Commits on Feb 23, 2024

• Add kontrol refute-node and kontrol unrefute-node commands (#381)

  Show description for fca77f7
  

  3 peopleauthored and

  PetarMax

  committed
  fca77f7

  Copy full SHA for fca77f7

• Update dependency: deps/kevm_release (#392)

  Show description for c8d6329
  

  3 peopleauthored and

  PetarMax

  committed
  c8d6329

  Copy full SHA for c8d6329

• Set Version: 0.1.171

  

  devops

  committed
  8bcbf47

  Copy full SHA for 8bcbf47

Commits on Feb 26, 2024

• merge with master

  PetarMax

  committed
  4850100

  Copy full SHA for 4850100

• Set Version: 0.1.172

  

  devops

  committed
  f798d5e

  Copy full SHA for f798d5e

• path correction

  PetarMax

  committed
  bbffd7d

  Copy full SHA for bbffd7d

Commits on Feb 27, 2024

• redesigning CSE tests

  PetarMax

  committed
  4730d4c

  Copy full SHA for 4730d4c

• slightly more general WETH contract

  PetarMax

  committed
  2cd38e0

  Copy full SHA for 2cd38e0

• minor spacing consistencies

  PetarMax

  committed
  8b7bdc8

  Copy full SHA for 8b7bdc8

• generalising test harness

  PetarMax

  committed
  d028c13

  Copy full SHA for d028c13

Commits on Feb 28, 2024

• Merge branch 'master' into petar/cse-exploration

  PetarMax

  authored
  8f09a05

  Copy full SHA for 8f09a05

• Set Version: 0.1.174

  

  devops

  committed
  c6139b3

  Copy full SHA for c6139b3

• additional proof options for dependency tests

  PetarMax

  committed
  3947a6a

  Copy full SHA for 3947a6a

• AddConst test

  PetarMax

  committed
  e52cc6a

  Copy full SHA for e52cc6a

• initialisation of accessedStorage

  PetarMax

  committed
  bcc25d3

  Copy full SHA for bcc25d3

• formatting

  PetarMax

  committed
  f41c7c0

  Copy full SHA for f41c7c0

• test correction

  PetarMax

  committed
  376af18

  Copy full SHA for 376af18

• adding expected files, WETH9 contract

  PetarMax

  committed
  7869c2a

  Copy full SHA for 7869c2a

• correction

  PetarMax

  committed
  157a3d6

  Copy full SHA for 157a3d6

• removing accessStorage manipulation, adding full WETH9

  PetarMax

  committed
  b47afb7

  Copy full SHA for b47afb7

• adding nocse kcfgs and updating cse ones

  PetarMax

  committed
  d484347

  Copy full SHA for d484347

• correction

  PetarMax

  committed
  11c998d

  Copy full SHA for 11c998d

• Merge branch 'master' into petar/cse-exploration

  PetarMax

  authored
  63de5e6

  Copy full SHA for 63de5e6

• Set Version: 0.1.175

  

  devops

  committed
  81afef8

  Copy full SHA for 81afef8

• addresses not equal to cheatcode address

  PetarMax

  committed
  c8b0a95

  Copy full SHA for c8b0a95

Commits on Feb 29, 2024

• Merge branch 'master' into petar/cse-exploration

  PetarMax

  authored
  fcf0a74

  Copy full SHA for fcf0a74

• Set Version: 0.1.177

  

  devops

  committed
  73e1185

  Copy full SHA for 73e1185

• deps/kevm_release: Set Version 1.0.465

  

  devops

  authored and

  PetarMax

  committed
  11711c5

  Copy full SHA for 11711c5

• Sync Poetry files: kevm-pyk version 1.0.465

  

  devops

  authored and

  PetarMax

  committed
  1941bed

  Copy full SHA for 1941bed

• flake.{nix,lock}: update Nix derivations

  

  devops

  authored and

  PetarMax

  committed
  b2c0c8f

  Copy full SHA for b2c0c8f

• deps/kevm_release: Set Version 1.0.466

  

  devops

  authored and

  PetarMax

  committed
  0ffab2c

  Copy full SHA for 0ffab2c

• Sync Poetry files: kevm-pyk version 1.0.466

  

  devops

  authored and

  PetarMax

  committed
  418f484

  Copy full SHA for 418f484

• deps/k_release: sync release file version 6.3.17

  

  devops

  authored and

  PetarMax

  committed
  d743cdc

  Copy full SHA for d743cdc

• flake.{nix,lock}: update Nix derivations

  

  devops

  authored and

  PetarMax

  committed
  7a9fa5c

  Copy full SHA for 7a9fa5c

• kontrol/{solc_to_k,prove,foundry}: updates from upstream

  

  ehildenb

  authored and

  PetarMax

  committed
  b13c7d7

  Copy full SHA for b13c7d7

• src/tests/unit: update expected output

  

  ehildenb

  authored and

  PetarMax

  committed
  050a926

  Copy full SHA for 050a926

• additional lemmas for discharging infeasible branches

  PetarMax

  committed
  44015a0

  Copy full SHA for 44015a0

Commits on Mar 1, 2024

• merge with master

  PetarMax

  committed
  4ed23e3

  Copy full SHA for 4ed23e3

• Set Version: 0.1.178

  

  devops

  committed
  761bd71

  Copy full SHA for 761bd71

• caller in accounts

  PetarMax

  committed
  b523bfc

  Copy full SHA for b523bfc

• :integration/test_kontrol_cse.py: init

  anvacaru

  committed
  b549059

  Copy full SHA for b549059

• updating expected outputs

  PetarMax

  committed
  4af255c

  Copy full SHA for 4af255c

Commits on Mar 4, 2024

• Merge branch 'master' into petar/cse-exploration

  PetarMax

  authored
  cf92e53

  Copy full SHA for cf92e53

• Set Version: 0.1.180

  

  devops

  committed
  8eb77c0

  Copy full SHA for 8eb77c0

Commits on Mar 6, 2024

• Generate xml report (#377)

  Show description for 6efcc71
  

  3 peopleauthored and

  PetarMax

  committed
  6efcc71

  Copy full SHA for 6efcc71

• Refactor get_test_id to fetch latest version (#406)

  Show description for c9e33d1
  

  3 peopleauthored and

  PetarMax

  committed
  c9e33d1

  Copy full SHA for c9e33d1

• Remove upper bound from pytest version (#408)

  Show description for 4949d0b
  

  4 peopleauthored and

  PetarMax

  committed
  4949d0b

  Copy full SHA for 4949d0b

• Update dependency: deps/kevm_release (#410)

  Show description for cd0ea2c
  

  3 peopleauthored and

  PetarMax

  committed
  cd0ea2c

  Copy full SHA for cd0ea2c

• Merge branch 'master' into petar/cse-exploration

  PetarMax

  authored
  50bb141

  Copy full SHA for 50bb141

• Set Version: 0.1.184

  

  devops

  committed
  9d7e7ab

  Copy full SHA for 9d7e7ab

• simplifying lemams and adding them to CI

  PetarMax

  committed
  006a320

  Copy full SHA for 006a320

• Set Version: 0.1.185

  

  devops

  committed
  8a7fdda

  Copy full SHA for 8a7fdda

Commits on Mar 7, 2024

• Merge remote-tracking branch 'origin/master' into petar/cse-exploration

  anvacaru

  committed
  87db3ee

  Copy full SHA for 87db3ee

• test_kontrol_cse.py: move dependency test from test_foundry_prove

  anvacaru

  committed
  d16d3df

  Copy full SHA for d16d3df

• Set Version: 0.1.188

  

  devops

  committed
  f7f01ac

  Copy full SHA for f7f01ac

Commits on Mar 8, 2024

• test_kontrol_cse.py: refactor test harness

  anvacaru

  committed
  3b333e3

  Copy full SHA for 3b333e3

• Merge branch 'master' into petar/cse-exploration

  PetarMax

  authored
  7873fa8

  Copy full SHA for 7873fa8

• Set Version: 0.1.192

  

  devops

  committed
  2c22a28

  Copy full SHA for 2c22a28

• Update dependency: deps/kevm_release (#419)

  Show description for cf8b92e
  

  2 peopleauthored and

  PetarMax

  committed
  cf8b92e

  Copy full SHA for cf8b92e

• skipping tests

  PetarMax

  committed
  bc3e3a1

  Copy full SHA for bc3e3a1

• correction

  PetarMax

  committed
  5855667

  Copy full SHA for 5855667

• correction: caller in accounts

  PetarMax

  committed
  22914ec

  Copy full SHA for 22914ec

Commits on Mar 9, 2024

• Merge branch 'master' into petar/cse-exploration

  PetarMax

  authored
  752d759

  Copy full SHA for 752d759

• Set Version: 0.1.193

  

  devops

  committed
  cdf793f

  Copy full SHA for cdf793f

• Merge branch 'master' into petar/cse-exploration

  PetarMax

  authored
  82c276d

  Copy full SHA for 82c276d

• Set Version: 0.1.194

  

  devops

  committed
  fb699ca

  Copy full SHA for fb699ca

• removing cbor and hash disabling

  PetarMax

  committed
  653ddac

  Copy full SHA for 653ddac

• updating expected output

  PetarMax

  committed
  071e079

  Copy full SHA for 071e079

Commits on Mar 10, 2024

• manual correction of expected output

  PetarMax

  committed
  9aa2649

  Copy full SHA for 9aa2649

• adding appropriate expected outputs

  PetarMax

  committed
  8fa5f73

  Copy full SHA for 8fa5f73

• attempting to manually fix expected output

  PetarMax

  committed
  23dbbb0

  Copy full SHA for 23dbbb0

Commits on Mar 11, 2024

• Merge branch 'master' into petar/cse-exploration

  PetarMax

  authored
  cfb570e

  Copy full SHA for cfb570e

• Set Version: 0.1.195

  

  devops

  committed
  74bd5dc

  Copy full SHA for 74bd5dc

Commits on Mar 12, 2024

• Merge remote-tracking branch 'origin/master' into petar/cse-exploration

  PetarMax

  committed
  af253fa

  Copy full SHA for af253fa

• adding a CSE CI runner, removing no-cse executions

  PetarMax

  committed
  3db29ba

  Copy full SHA for 3db29ba

• removing no-cse.expected files

  PetarMax

  committed
  40cc541

  Copy full SHA for 40cc541

• updating expected outputs

  PetarMax

  committed
  a7d3a2c

  Copy full SHA for a7d3a2c

• Set Version: 0.1.197

  

  devops

  committed
  c6012d2

  Copy full SHA for c6012d2

• Merge branch 'master' into petar/cse-exploration

  PetarMax

  authored
  cdeaab1

  Copy full SHA for cdeaab1

• Set Version: 0.1.197

  

  devops

  committed
  50e6659

  Copy full SHA for 50e6659

• name correction for CI job

  PetarMax

  committed
  ef1147f

  Copy full SHA for ef1147f

• Update src/tests/integration/test-data/foundry-dependency-all

  Show description for 31e823b
  

  PetarMax

  and

  anvacaru

  authored
  31e823b

  Copy full SHA for 31e823b

• Update src/tests/integration/test-data/foundry-dependency-skip

  Show description for dd04e05
  

  PetarMax

  and

  anvacaru

  authored
  dd04e05

  Copy full SHA for dd04e05

• removing unused code

  PetarMax

  committed
  3ab1067

  Copy full SHA for 3ab1067

Commits on Mar 13, 2024

• bringing back execution without CSE for testing purposes

  PetarMax

  committed
  ac7cd09

  Copy full SHA for ac7cd09

• merge with master

  PetarMax

  committed
  f185905

  Copy full SHA for f185905

• Set Version: 0.1.200

  

  devops

  committed
  d21d2fe

  Copy full SHA for d21d2fe

• adding expected output for no-cse tests

  PetarMax

  committed
  765661a

  Copy full SHA for 765661a

• Merge branch 'master' into petar/cse-exploration

  PetarMax

  authored
  20690e0

  Copy full SHA for 20690e0

• Set Version: 0.1.202

  

  devops

  committed
  79cfee9

  Copy full SHA for 79cfee9

Commits on Mar 14, 2024

• merge with master, update expected outputs

  PetarMax

  committed
  40d413a

  Copy full SHA for 40d413a

• Set Version: 0.1.204

  

  devops

  committed
  ad142c3

  Copy full SHA for ad142c3

• updating expected outputs, correcting non-cse executions

  PetarMax

  committed
  63d4659

  Copy full SHA for 63d4659

• removing no-cse and updating expected outputs

  PetarMax

  committed
  f312d02

  Copy full SHA for f312d02

• Updating the running of proofs

  PetarMax

  committed
  499ac0b

  Copy full SHA for 499ac0b

• Set Version: 0.1.205

  

  devops

  committed
  1a34f80

  Copy full SHA for 1a34f80

• Merge branch 'master' into petar/cse-exploration

  PetarMax

  authored
  9fc0fb7

  Copy full SHA for 9fc0fb7

Commits on Mar 15, 2024

• adding a skipped test in init tests due to a run-constructor error

  PetarMax

  committed
  88bd720

  Copy full SHA for 88bd720