Code

Feature/rv compute#11015

Code

Merged

mds1 merged 63 commits intoethereum-optimism:developethereum-optimism/optimism:developfrom runtimeverification:feature/rv-computeruntimeverification/_audits_Ethereum-optimism_pausability:feature/rv-computeCopy head branch name to clipboardAug 14, 2024

+192-68

Commits

Commits on Apr 8, 2024

• Add dummy tests for passing and failing

  JuanCoRo

  committed
  7280048

  Copy full SHA for 7280048

• Updating passing along return errors and a duplicate call to clean_docker

  F-WRunTime

  committed
  3266032

  Copy full SHA for 3266032

Commits on Apr 9, 2024

• Fixing logging

  F-WRunTime

  committed
  db45ddb

  Copy full SHA for db45ddb

Commits on Apr 10, 2024

• Update to latest kontrol version supporting error codes

  F-WRunTime

  committed
  cd0f908

  Copy full SHA for cd0f908

• Remove trap for testing

  F-WRunTime

  committed
  ca35ef6

  Copy full SHA for ca35ef6

• Add install-kontrol and run local with enforced version requiresments

  F-WRunTime

  committed
  bb53b76

  Copy full SHA for bb53b76

• Drop on failure trap and test

  F-WRunTime

  committed
  28331a5

  Copy full SHA for 28331a5

• The cleanup steps may be altering the return results. We're not running docker, not needed here

  F-WRunTime

  committed
  fda58e2

  Copy full SHA for fda58e2

Commits on Apr 11, 2024

• Test with traps re-added after finding issue was with using find

  F-WRunTime

  committed
  adb9679

  Copy full SHA for adb9679

• Formatting, now test with passing test

  F-WRunTime

  committed
  33bf0dd

  Copy full SHA for 33bf0dd

• Update run-kontrol.sh

  Show description for 99c1b23
  F-WRunTime

  authored
  99c1b23

  Copy full SHA for 99c1b23

• Increase CPU workers to 16 for kaas runners

  F-WRunTime

  committed
  40ae205

  Copy full SHA for 40ae205

Commits on Apr 12, 2024

• Merge branch 'develop' into feauture/rv-compute-updates

  F-WRunTime

  authored
  179a8bc

  Copy full SHA for 179a8bc

Commits on Apr 15, 2024

• Update config.yml

  F-WRunTime

  authored
  332eb50

  Copy full SHA for 332eb50

• Merge branch 'develop' into feauture/rv-compute-updates

  F-WRunTime

  authored
  097a05d

  Copy full SHA for 097a05d

Commits on Apr 25, 2024

• Remove dummy proofs

  JuanCoRo

  committed
  269e83f

  Copy full SHA for 269e83f

• run-kontrol.sh: set max_workers to 16

  JuanCoRo

  committed
  db61956

  Copy full SHA for db61956

• run-kontrol.sh: execute all tests with script option

  JuanCoRo

  committed
  8edac66

  Copy full SHA for 8edac66

• run-kontrol.sh: match tests more precisely

  JuanCoRo

  committed
  9006769

  Copy full SHA for 9006769

• run-kontrol.sh: add back break_every_step variable

  JuanCoRo

  committed
  730a84c

  Copy full SHA for 730a84c

• Merge remote-tracking branch 'origin/develop' into feauture/rv-compute-updates

  JuanCoRo

  committed
  0784fb8

  Copy full SHA for 0784fb8

Commits on Apr 26, 2024

• Merge branch 'develop' into feauture/rv-compute-updates

  F-WRunTime

  authored
  fd6d877

  Copy full SHA for fd6d877

Commits on Apr 29, 2024

• versions.json: bump Kontrol from 0.1.247 to 0.1.258

  JuanCoRo

  committed
  0b8ae31

  Copy full SHA for 0b8ae31

Commits on May 6, 2024

• IGnore vscode configuration files

  F-WRunTime

  committed
  6b06521

  Copy full SHA for 6b06521

• Move on regardless of docker removal, container is started with automatic removal on stop, we just want to make sure it happens for redundancy

  F-WRunTime

  committed
  09cc9f2

  Copy full SHA for 09cc9f2

Commits on May 10, 2024

• Extract content of Results to upload to kaas

  F-WRunTime

  committed
  89a8df9

  Copy full SHA for 89a8df9

Commits on May 21, 2024

• Merge develop, resolve merge conflicts

  F-WRunTime

  committed
  6dea39a

  Copy full SHA for 6dea39a

• Call into RV Workflow to run symbolic tests

  F-WRunTime

  committed
  bb3ed67

  Copy full SHA for bb3ed67

Commits on Jun 26, 2024

• Merge branch 'develop' into feature/rv-compute

  F-WRunTime

  committed
  193fa6c

  Copy full SHA for 193fa6c

• Updating circleCI to latest credentials setup/secret references. Set context to proper env. Remove unused inputs

  F-WRunTime

  committed
  a85545d

  Copy full SHA for a85545d

• Reverting unecessary change

  F-WRunTime

  committed
  e9c5008

  Copy full SHA for e9c5008

• Add RV context

  F-WRunTime

  committed
  da8d38b

  Copy full SHA for da8d38b

• Removing comma from end of json block

  F-WRunTime

  committed
  e12fe9e

  Copy full SHA for e12fe9e

Commits on Jun 27, 2024

• Set the specific branch name to run on, do not assume develop.

  F-WRunTime

  committed
  ab37ced

  Copy full SHA for ab37ced

• Temporary when conditional to always run

  F-WRunTime

  committed
  852b4bc

  Copy full SHA for 852b4bc

• Merge branch 'ethereum-optimism:develop' into feature/rv-compute

  F-WRunTime

  authored
  ecb335c

  Copy full SHA for ecb335c

• Revert test when conditional

  F-WRunTime

  committed
  a430614

  Copy full SHA for a430614

Commits on Jun 28, 2024

• Supress extraction of outputs

  F-WRunTime

  committed
  0d57cf1

  Copy full SHA for 0d57cf1

Commits on Jul 10, 2024

• Merge branch 'ethereum-optimism:develop' into feature/rv-compute

  F-WRunTime

  authored
  0760252

  Copy full SHA for 0760252

Commits on Jul 29, 2024

• Accept Suggestion for comment line in packages/contracts-bedrock/test/kontrol/scripts/run-kontrol.sh

  Show description for e4124e7
  

  F-WRunTime

  and

  mds1

  authored
  e4124e7

  Copy full SHA for e4124e7

• Merge branch 'develop' into feature/rv-compute

  F-WRunTime

  authored
  f910358

  Copy full SHA for f910358

Commits on Jul 30, 2024

• Merge remote-tracking branch 'origin/develop' into feature/rv-compute

  JuanCoRo

  committed
  42dce3d

  Copy full SHA for 42dce3d

• Supress tar file creation output

  F-WRunTime

  committed
  89da7d7

  Copy full SHA for 89da7d7

• Dropping -verbose in tar command. Reduce output on exeutions

  F-WRunTime

  committed
  dc9499b

  Copy full SHA for dc9499b

Commits on Jul 31, 2024

• run-kontrol.sh: Update Temporarily unexecuted tests list

  JuanCoRo

  committed
  21f5fc6

  Copy full SHA for 21f5fc6

• run-kontrol.sh: Update Temporarily unexecuted tests list v2

  JuanCoRo

  committed
  a4e4acd

  Copy full SHA for a4e4acd

Commits on Aug 2, 2024

• Update documentation noting changes / usage / flow / secrets for utilizing kaas

  F-WRunTime

  committed
  6bfe68e

  Copy full SHA for 6bfe68e

• run-kontrol.sh: Fetch the xml file if it exists from the build env and make available for posting to summary

  F-WRunTime

  committed
  2d1e333

  Copy full SHA for 2d1e333

• Update packages/contracts-bedrock/test/kontrol/README.md

  Show description for c04adfa
  

  F-WRunTime

  and

  mds1

  authored
  c04adfa

  Copy full SHA for c04adfa

• Update packages/contracts-bedrock/test/kontrol/README.md

  Show description for 1b09057
  

  F-WRunTime

  and

  mds1

  authored
  1b09057

  Copy full SHA for 1b09057

• Update packages/contracts-bedrock/test/kontrol/README.md

  Show description for c187538
  

  F-WRunTime

  and

  mds1

  authored
  c187538

  Copy full SHA for c187538

• Update packages/contracts-bedrock/test/kontrol/README.md

  Show description for 3fb136f
  

  F-WRunTime

  and

  mds1

  authored
  3fb136f

  Copy full SHA for 3fb136f

• Update packages/contracts-bedrock/test/kontrol/README.md

  Show description for 1d0f462
  

  F-WRunTime

  and

  mds1

  authored
  1d0f462

  Copy full SHA for 1d0f462

• kontrol/README.md: Update instructions for clarity and usage

  F-WRunTime

  committed
  81d304e

  Copy full SHA for 81d304e

Commits on Aug 9, 2024

• .github/workflows: Adding a new workflow to trigger on updates to depoloyment_status from third party

  F-WRunTime

  committed
  78aca1c

  Copy full SHA for 78aca1c

• Force push to test

  F-WRunTime

  committed
  2956eea

  Copy full SHA for 2956eea

• Remove if check for environment.

  F-WRunTime

  committed
  c5758f1

  Copy full SHA for c5758f1

• status-test: This looks like the wrong trigger

  F-WRunTime

  committed
  4153f96

  Copy full SHA for 4153f96

Commits on Aug 13, 2024

• Update slack notification workflow with template

  F-WRunTime

  committed
  1303233

  Copy full SHA for 1303233

Commits on Aug 14, 2024

• proof-runner-notification.yml: Slack notifications on failure, and webhook URL

  F-WRunTime

  committed
  44da3fa

  Copy full SHA for 44da3fa

• Replace Link with provided target_url from commit status

  F-WRunTime

  committed
  ec865af

  Copy full SHA for ec865af

• Update payload variables per slack workflow variable requirements.

  F-WRunTime

  committed
  99dfd66

  Copy full SHA for 99dfd66

• Merge branch 'develop' into feature/rv-compute

  F-WRunTime

  authored
  783f9a3

  Copy full SHA for 783f9a3