Remove legacy code and tests, use pyk runner more directly #1977
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This reverts commit c6dfc55.
ehildenb
changed the title
…20-spec: remove mention of --pyk option
ehildenb
commented
Jul 28, 2023
Comment on lines
+44
to
+47
| # Commented because of https://github.com/foundry-rs/foundry/issues/545, and we can't install solc 0.8.13 | ||
| # forge build --root tests/foundry --no-auto-detect | ||
| # kevm foundry-kompile --foundry-project-root tests/foundry --verbose | ||
| # kevm foundry-prove --foundry-project-root tests/foundry --verbose --test AssertTest.test_assert_true_branch |
There was a problem hiding this comment.
Unfortunately, we can't easily enable testing foundry integration on CI without upgrading to solc 0.8.19. Seems due to: foundry-rs/foundry#545.
tothtamas28
approved these changes
Jul 28, 2023
iFrostizz
added a commit
that referenced
this pull request
Jul 31, 2023
* Use a terminal-rule for `--break-every-step` (#1959) * Use a terminal-rule for --break-every-step * Set Version: 1.0.235 * Set Version: 1.0.236 * Set Version: 1.0.237 --------- Co-authored-by: devops <[email protected]> Co-authored-by: rv-jenkins <[email protected]> * Add `PreconditionsTest.testAssume` on CI (#1924) * add the PreconditionsTest#testAssume to CI * Set Version: 1.0.217 * add preconditions test * Set Version: 1.0.218 * update expected output * Set Version: 1.0.219 * include/{evm-types,evm}, kevm-pyk/kompile.py: consistent concrete attributes for rules * Makefile: allow passing in parallel/filter to every pytest command * include/{evm,lemmas/lemmas}: more adjustments to concrete attributes * Set Version: 1.0.220 * kevm-pyk/{cli,__main__}: support --pending/--failing for kevm show-kcfg too * include/lemmas/lemmas: add simplification lemma for memoryUsageUpdate * Set Version: 1.0.221 * include/lemmas/lemmas: correct lemma * include/{evm-types,evm,serialization}: move concrete attribute directly onto rules * kevm-pyk/kompile: no need for explicit concrete rules list anymore * include/evm-node: correct concrete attribute for keccak * .github/test-pr: up timeout with more tests being run * Set Version: 1.0.222 * Set Version: 1.0.222 * Set Version: 1.0.223 * Set Version: 1.0.224 * fix indenting after merge * Set Version: 1.0.225 * update hash * Set Version: 1.0.226 * Set Version: 1.0.228 * Set Version: 1.0.237 * update expected output * Set Version: 1.0.238 --------- Co-authored-by: François Guyot <[email protected]> Co-authored-by: devops <[email protected]> Co-authored-by: Everett Hildenbrandt <[email protected]> Co-authored-by: Andrei Văcaru <[email protected]> Co-authored-by: Andrei <[email protected]> * Update dependency: deps/pyk_release (#1962) * deps/pyk_release: Set Version v0.1.377 * Set Version: 1.0.237 * kevm-pyk/: sync poetry files pyk version v0.1.377 * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.378 * Set Version: 1.0.238 * kevm-pyk/: sync poetry files pyk version v0.1.378 * flake.{nix,lock}: update Nix derivations * extend lines with a str of the summary * Set Version: 1.0.239 * Update kevm-pyk/src/kevm_pyk/foundry.py --------- Co-authored-by: devops <[email protected]> Co-authored-by: Andrei <[email protected]> Co-authored-by: Everett Hildenbrandt <[email protected]> * Don't ignore `--with-llvm-library` in `kevm kompile` (#1965) * Don't ignore `--with-llvm-library` in `kevm kompile` * Set Version: 1.0.237 * Set Version: 1.0.238 * Set Version: 1.0.240 --------- Co-authored-by: devops <[email protected]> Co-authored-by: rv-jenkins <[email protected]> Co-authored-by: Andrei Văcaru <[email protected]> * Pass llvm_definition_dir to KCFGExplore in foundry-prove (#1957) * Update foundry-kompile, passing llvm_definition_dir to KCFGExplore when using booster * Set Version: 1.0.235 * Set Version: 1.0.237 * Set Version: 1.0.238 * Set Version: 1.0.239 * Set Version: 1.0.240 * Set Version: 1.0.241 --------- Co-authored-by: devops <[email protected]> Co-authored-by: rv-jenkins <[email protected]> Co-authored-by: Andrei Văcaru <[email protected]> * correctly recursively invoke make (#1975) * correctly recursively invoke make * Set Version: 1.0.242 --------- Co-authored-by: devops <[email protected]> * Remove legacy code and tests, use pyk runner more directly (#1977) * package/test-package: update package testing script to run foundry proofs too * bin/kevm: drop solc-to-k and foundry-* commands directly through to pyk * bin/kevm, Makefile: remove kevm interpret command, no longer needed for tests * bin/kevm: simplify fallthrough to pyk * bin/kevm: use direct pyk prover always for run_proof * bin/kevm: simplify logic with removed options, pass them through to pyk * package/test-package: add search command test * bin/kevm: simplify more options * bin/kevm, scripts/kore-json: do not use dedicated kore -> json conversion * bin/kevm: more simplifications * bin/kevm: drop kompile straight through to pyk * Makefile: remove unexercised test-suites * Revert "package/test-package: add search command test" This reverts commit c6dfc55. * bin/kevm: remove search functionality * README: interpret => run * Set Version: 1.0.242 * Makefile: remove references to kore-json.py * Makefile, VERIFICATION, package/test-package, tests/specs/example/erc20-spec: remove mention of --pyk option * Makefile: run interactive tests with poetry enabled * Makefile: remove unused recipe * package/test-package: remove --pyk option * tests/failing: update expected output * bin/kevm: correctly handle kevm kompile * kevm-pyk/__main__: make sure we print out configuration on failed kruns too * bin/kevm: add foundry commands to ones passed through to kevm-pyk * flake.nix: include foundry in kevm-test target * package/test-package: disable foundry tests on nix ci * Set Version: 1.0.243 * Makefile: bring back proto-tester --------- Co-authored-by: devops <[email protected]> * create action to update prove output * manually trigger the workflow * move as workflow * add as workflow * convert event as push * rem description * remove docker * push updates * remove escaped quote * apply review suggestions * update submodules in action * update submodules init * pull all submodules * Recursive checkout already will grab the deps * with-docker input updates * maven * INclude stack dep for build k-deps step, fixes failure in Reactor summary Haskell Backend * Missing build args for distro and os * Test * Install stack * INclude stack dep for build k-deps step, fixes failure in Reactor summary Haskell Backend * Force update of submodules * SKIP_LLVM=true * add libyaml * add libcrypto++ dep * commit changes --------- Co-authored-by: Raoul <[email protected]> Co-authored-by: devops <[email protected]> Co-authored-by: rv-jenkins <[email protected]> Co-authored-by: Franfran <[email protected]> Co-authored-by: François Guyot <[email protected]> Co-authored-by: Everett Hildenbrandt <[email protected]> Co-authored-by: Andrei Văcaru <[email protected]> Co-authored-by: Andrei <[email protected]> Co-authored-by: Georgy Lukyanov <[email protected]> Co-authored-by: Samuel Balco <[email protected]> Co-authored-by: Dwight Guth <[email protected]> Co-authored-by: franfran <[email protected]>
rv-jenkins
added a commit
that referenced
this pull request
Aug 10, 2023
* create action to update prove output * Set Version: 1.0.237 * manually trigger the workflow * move as workflow * add as workflow * convert event as push * rem description * remove docker * push updates * remove escaped quote * apply review suggestions * Set Version: 1.0.238 * update submodules in action * update submodules init * pull all submodules * Hotfix/add update prove ci (#1970) * Recursive checkout already will grab the deps * with-docker input updates * maven * INclude stack dep for build k-deps step, fixes failure in Reactor summary Haskell Backend * create action to update prove output * manually trigger the workflow * move as workflow * add as workflow * convert event as push * rem description * remove docker * push updates * remove escaped quote * apply review suggestions * update submodules in action * update submodules init * pull all submodules * Recursive checkout already will grab the deps * with-docker input updates * maven * INclude stack dep for build k-deps step, fixes failure in Reactor summary Haskell Backend * Missing build args for distro and os * Test * Install stack * INclude stack dep for build k-deps step, fixes failure in Reactor summary Haskell Backend * Force update of submodules * SKIP_LLVM=true * add libyaml * add libcrypto++ dep * commit changes * Hotfix/add update prove ci (#1974) * Use a terminal-rule for `--break-every-step` (#1959) * Use a terminal-rule for --break-every-step * Set Version: 1.0.235 * Set Version: 1.0.236 * Set Version: 1.0.237 --------- Co-authored-by: devops <[email protected]> Co-authored-by: rv-jenkins <[email protected]> * Add `PreconditionsTest.testAssume` on CI (#1924) * add the PreconditionsTest#testAssume to CI * Set Version: 1.0.217 * add preconditions test * Set Version: 1.0.218 * update expected output * Set Version: 1.0.219 * include/{evm-types,evm}, kevm-pyk/kompile.py: consistent concrete attributes for rules * Makefile: allow passing in parallel/filter to every pytest command * include/{evm,lemmas/lemmas}: more adjustments to concrete attributes * Set Version: 1.0.220 * kevm-pyk/{cli,__main__}: support --pending/--failing for kevm show-kcfg too * include/lemmas/lemmas: add simplification lemma for memoryUsageUpdate * Set Version: 1.0.221 * include/lemmas/lemmas: correct lemma * include/{evm-types,evm,serialization}: move concrete attribute directly onto rules * kevm-pyk/kompile: no need for explicit concrete rules list anymore * include/evm-node: correct concrete attribute for keccak * .github/test-pr: up timeout with more tests being run * Set Version: 1.0.222 * Set Version: 1.0.222 * Set Version: 1.0.223 * Set Version: 1.0.224 * fix indenting after merge * Set Version: 1.0.225 * update hash * Set Version: 1.0.226 * Set Version: 1.0.228 * Set Version: 1.0.237 * update expected output * Set Version: 1.0.238 --------- Co-authored-by: François Guyot <[email protected]> Co-authored-by: devops <[email protected]> Co-authored-by: Everett Hildenbrandt <[email protected]> Co-authored-by: Andrei Văcaru <[email protected]> Co-authored-by: Andrei <[email protected]> * Update dependency: deps/pyk_release (#1962) * deps/pyk_release: Set Version v0.1.377 * Set Version: 1.0.237 * kevm-pyk/: sync poetry files pyk version v0.1.377 * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.378 * Set Version: 1.0.238 * kevm-pyk/: sync poetry files pyk version v0.1.378 * flake.{nix,lock}: update Nix derivations * extend lines with a str of the summary * Set Version: 1.0.239 * Update kevm-pyk/src/kevm_pyk/foundry.py --------- Co-authored-by: devops <[email protected]> Co-authored-by: Andrei <[email protected]> Co-authored-by: Everett Hildenbrandt <[email protected]> * Don't ignore `--with-llvm-library` in `kevm kompile` (#1965) * Don't ignore `--with-llvm-library` in `kevm kompile` * Set Version: 1.0.237 * Set Version: 1.0.238 * Set Version: 1.0.240 --------- Co-authored-by: devops <[email protected]> Co-authored-by: rv-jenkins <[email protected]> Co-authored-by: Andrei Văcaru <[email protected]> * Pass llvm_definition_dir to KCFGExplore in foundry-prove (#1957) * Update foundry-kompile, passing llvm_definition_dir to KCFGExplore when using booster * Set Version: 1.0.235 * Set Version: 1.0.237 * Set Version: 1.0.238 * Set Version: 1.0.239 * Set Version: 1.0.240 * Set Version: 1.0.241 --------- Co-authored-by: devops <[email protected]> Co-authored-by: rv-jenkins <[email protected]> Co-authored-by: Andrei Văcaru <[email protected]> * correctly recursively invoke make (#1975) * correctly recursively invoke make * Set Version: 1.0.242 --------- Co-authored-by: devops <[email protected]> * Remove legacy code and tests, use pyk runner more directly (#1977) * package/test-package: update package testing script to run foundry proofs too * bin/kevm: drop solc-to-k and foundry-* commands directly through to pyk * bin/kevm, Makefile: remove kevm interpret command, no longer needed for tests * bin/kevm: simplify fallthrough to pyk * bin/kevm: use direct pyk prover always for run_proof * bin/kevm: simplify logic with removed options, pass them through to pyk * package/test-package: add search command test * bin/kevm: simplify more options * bin/kevm, scripts/kore-json: do not use dedicated kore -> json conversion * bin/kevm: more simplifications * bin/kevm: drop kompile straight through to pyk * Makefile: remove unexercised test-suites * Revert "package/test-package: add search command test" This reverts commit c6dfc55. * bin/kevm: remove search functionality * README: interpret => run * Set Version: 1.0.242 * Makefile: remove references to kore-json.py * Makefile, VERIFICATION, package/test-package, tests/specs/example/erc20-spec: remove mention of --pyk option * Makefile: run interactive tests with poetry enabled * Makefile: remove unused recipe * package/test-package: remove --pyk option * tests/failing: update expected output * bin/kevm: correctly handle kevm kompile * kevm-pyk/__main__: make sure we print out configuration on failed kruns too * bin/kevm: add foundry commands to ones passed through to kevm-pyk * flake.nix: include foundry in kevm-test target * package/test-package: disable foundry tests on nix ci * Set Version: 1.0.243 * Makefile: bring back proto-tester --------- Co-authored-by: devops <[email protected]> * create action to update prove output * manually trigger the workflow * move as workflow * add as workflow * convert event as push * rem description * remove docker * push updates * remove escaped quote * apply review suggestions * update submodules in action * update submodules init * pull all submodules * Recursive checkout already will grab the deps * with-docker input updates * maven * INclude stack dep for build k-deps step, fixes failure in Reactor summary Haskell Backend * Missing build args for distro and os * Test * Install stack * INclude stack dep for build k-deps step, fixes failure in Reactor summary Haskell Backend * Force update of submodules * SKIP_LLVM=true * add libyaml * add libcrypto++ dep * commit changes --------- Co-authored-by: Raoul <[email protected]> Co-authored-by: devops <[email protected]> Co-authored-by: rv-jenkins <[email protected]> Co-authored-by: Franfran <[email protected]> Co-authored-by: François Guyot <[email protected]> Co-authored-by: Everett Hildenbrandt <[email protected]> Co-authored-by: Andrei Văcaru <[email protected]> Co-authored-by: Andrei <[email protected]> Co-authored-by: Georgy Lukyanov <[email protected]> Co-authored-by: Samuel Balco <[email protected]> Co-authored-by: Dwight Guth <[email protected]> Co-authored-by: franfran <[email protected]> * debug test * remove * rem * change echo * docker run * add build context * invoke ARG * remove FROM ubuntu:jammy * write back old build step * remove curly braces * Adding brackets * K_VERSION > K_COMMIT" * build stack from k deps * get var from id * get K_VERSION from pyk * install poetry externally * install python * get version from k dep * remove poetry * build in deps/k * cp to new location * install maven * use the same user * replace USER_ID by USER * run from docker as github-user * add to PATH * check for stack upgrade * write stack on fs * keep invoking ARG * remove irrelevant stack call * add libyaml lib * run tests and allow empty commit * pass as PYTEST_ARGS * test-data/show/: update expected show output * use pytest * Set Version: 1.0.245 * write default os-distro * use booster backedn * test-data/show/: update expected show output * use github-user everywhere * test-data/show/: update expected show output * test-data/show/: update expected show output * Set Version: 1.0.246 * test-data/show/: update expected show output * trigger the action manually * Set Version: 1.0.247 * don't override llvm * on workflow disp * Set Version: 1.0.248 * update master * arg llvm * hardcode llvm ver * Set Version: 1.0.249 * last user forgotten * indent on: * Hotfix/add update prove ci (#1998) * Test foundry build steps. Removing specific name of KEVM package version, only 1 will exist per build * Remove need dep for testing * Unbound version fix * Reduce CI load for testing just packaging * Reduce CI load for testing just packaging * Foundry prove indent was wrong for inputs * Var naming * Container name * User dockerfile pointer * Let there be a user definition accepted from build-args * Updating reference to 'user' * user 17 runner always * user def * user change * Fixing foundry root * Missing slash * Adding back original test * cleanup ARG (#2003) * ARG before FROM and call first * remove llvm out of scope * deps/k: back out changes * apply review suggestions * Set Version: 1.0.250 * Set Version: 1.0.250 * Set Version: 1.0.251 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Freeman <[email protected]> Co-authored-by: F-WRunTime <[email protected]> Co-authored-by: François Guyot <[email protected]> Co-authored-by: Raoul <[email protected]> Co-authored-by: rv-jenkins <[email protected]> Co-authored-by: Everett Hildenbrandt <[email protected]> Co-authored-by: Andrei Văcaru <[email protected]> Co-authored-by: Andrei <[email protected]> Co-authored-by: Georgy Lukyanov <[email protected]> Co-authored-by: Samuel Balco <[email protected]> Co-authored-by: Dwight Guth <[email protected]>
iFrostizz
pushed a commit
that referenced
this pull request
Aug 28, 2023
* package/test-package: update package testing script to run foundry proofs too * bin/kevm: drop solc-to-k and foundry-* commands directly through to pyk * bin/kevm, Makefile: remove kevm interpret command, no longer needed for tests * bin/kevm: simplify fallthrough to pyk * bin/kevm: use direct pyk prover always for run_proof * bin/kevm: simplify logic with removed options, pass them through to pyk * package/test-package: add search command test * bin/kevm: simplify more options * bin/kevm, scripts/kore-json: do not use dedicated kore -> json conversion * bin/kevm: more simplifications * bin/kevm: drop kompile straight through to pyk * Makefile: remove unexercised test-suites * Revert "package/test-package: add search command test" This reverts commit c6dfc55. * bin/kevm: remove search functionality * README: interpret => run * Set Version: 1.0.242 * Makefile: remove references to kore-json.py * Makefile, VERIFICATION, package/test-package, tests/specs/example/erc20-spec: remove mention of --pyk option * Makefile: run interactive tests with poetry enabled * Makefile: remove unused recipe * package/test-package: remove --pyk option * tests/failing: update expected output * bin/kevm: correctly handle kevm kompile * kevm-pyk/__main__: make sure we print out configuration on failed kruns too * bin/kevm: add foundry commands to ones passed through to kevm-pyk * flake.nix: include foundry in kevm-test target * package/test-package: disable foundry tests on nix ci * Set Version: 1.0.243 * Makefile: bring back proto-tester --------- Co-authored-by: devops <[email protected]>
iFrostizz
added a commit
that referenced
this pull request
Aug 28, 2023
* create action to update prove output * Set Version: 1.0.237 * manually trigger the workflow * move as workflow * add as workflow * convert event as push * rem description * remove docker * push updates * remove escaped quote * apply review suggestions * Set Version: 1.0.238 * update submodules in action * update submodules init * pull all submodules * Hotfix/add update prove ci (#1970) * Recursive checkout already will grab the deps * with-docker input updates * maven * INclude stack dep for build k-deps step, fixes failure in Reactor summary Haskell Backend * create action to update prove output * manually trigger the workflow * move as workflow * add as workflow * convert event as push * rem description * remove docker * push updates * remove escaped quote * apply review suggestions * update submodules in action * update submodules init * pull all submodules * Recursive checkout already will grab the deps * with-docker input updates * maven * INclude stack dep for build k-deps step, fixes failure in Reactor summary Haskell Backend * Missing build args for distro and os * Test * Install stack * INclude stack dep for build k-deps step, fixes failure in Reactor summary Haskell Backend * Force update of submodules * SKIP_LLVM=true * add libyaml * add libcrypto++ dep * commit changes * Hotfix/add update prove ci (#1974) * Use a terminal-rule for `--break-every-step` (#1959) * Use a terminal-rule for --break-every-step * Set Version: 1.0.235 * Set Version: 1.0.236 * Set Version: 1.0.237 --------- Co-authored-by: devops <[email protected]> Co-authored-by: rv-jenkins <[email protected]> * Add `PreconditionsTest.testAssume` on CI (#1924) * add the PreconditionsTest#testAssume to CI * Set Version: 1.0.217 * add preconditions test * Set Version: 1.0.218 * update expected output * Set Version: 1.0.219 * include/{evm-types,evm}, kevm-pyk/kompile.py: consistent concrete attributes for rules * Makefile: allow passing in parallel/filter to every pytest command * include/{evm,lemmas/lemmas}: more adjustments to concrete attributes * Set Version: 1.0.220 * kevm-pyk/{cli,__main__}: support --pending/--failing for kevm show-kcfg too * include/lemmas/lemmas: add simplification lemma for memoryUsageUpdate * Set Version: 1.0.221 * include/lemmas/lemmas: correct lemma * include/{evm-types,evm,serialization}: move concrete attribute directly onto rules * kevm-pyk/kompile: no need for explicit concrete rules list anymore * include/evm-node: correct concrete attribute for keccak * .github/test-pr: up timeout with more tests being run * Set Version: 1.0.222 * Set Version: 1.0.222 * Set Version: 1.0.223 * Set Version: 1.0.224 * fix indenting after merge * Set Version: 1.0.225 * update hash * Set Version: 1.0.226 * Set Version: 1.0.228 * Set Version: 1.0.237 * update expected output * Set Version: 1.0.238 --------- Co-authored-by: François Guyot <[email protected]> Co-authored-by: devops <[email protected]> Co-authored-by: Everett Hildenbrandt <[email protected]> Co-authored-by: Andrei Văcaru <[email protected]> Co-authored-by: Andrei <[email protected]> * Update dependency: deps/pyk_release (#1962) * deps/pyk_release: Set Version v0.1.377 * Set Version: 1.0.237 * kevm-pyk/: sync poetry files pyk version v0.1.377 * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.378 * Set Version: 1.0.238 * kevm-pyk/: sync poetry files pyk version v0.1.378 * flake.{nix,lock}: update Nix derivations * extend lines with a str of the summary * Set Version: 1.0.239 * Update kevm-pyk/src/kevm_pyk/foundry.py --------- Co-authored-by: devops <[email protected]> Co-authored-by: Andrei <[email protected]> Co-authored-by: Everett Hildenbrandt <[email protected]> * Don't ignore `--with-llvm-library` in `kevm kompile` (#1965) * Don't ignore `--with-llvm-library` in `kevm kompile` * Set Version: 1.0.237 * Set Version: 1.0.238 * Set Version: 1.0.240 --------- Co-authored-by: devops <[email protected]> Co-authored-by: rv-jenkins <[email protected]> Co-authored-by: Andrei Văcaru <[email protected]> * Pass llvm_definition_dir to KCFGExplore in foundry-prove (#1957) * Update foundry-kompile, passing llvm_definition_dir to KCFGExplore when using booster * Set Version: 1.0.235 * Set Version: 1.0.237 * Set Version: 1.0.238 * Set Version: 1.0.239 * Set Version: 1.0.240 * Set Version: 1.0.241 --------- Co-authored-by: devops <[email protected]> Co-authored-by: rv-jenkins <[email protected]> Co-authored-by: Andrei Văcaru <[email protected]> * correctly recursively invoke make (#1975) * correctly recursively invoke make * Set Version: 1.0.242 --------- Co-authored-by: devops <[email protected]> * Remove legacy code and tests, use pyk runner more directly (#1977) * package/test-package: update package testing script to run foundry proofs too * bin/kevm: drop solc-to-k and foundry-* commands directly through to pyk * bin/kevm, Makefile: remove kevm interpret command, no longer needed for tests * bin/kevm: simplify fallthrough to pyk * bin/kevm: use direct pyk prover always for run_proof * bin/kevm: simplify logic with removed options, pass them through to pyk * package/test-package: add search command test * bin/kevm: simplify more options * bin/kevm, scripts/kore-json: do not use dedicated kore -> json conversion * bin/kevm: more simplifications * bin/kevm: drop kompile straight through to pyk * Makefile: remove unexercised test-suites * Revert "package/test-package: add search command test" This reverts commit c6dfc55. * bin/kevm: remove search functionality * README: interpret => run * Set Version: 1.0.242 * Makefile: remove references to kore-json.py * Makefile, VERIFICATION, package/test-package, tests/specs/example/erc20-spec: remove mention of --pyk option * Makefile: run interactive tests with poetry enabled * Makefile: remove unused recipe * package/test-package: remove --pyk option * tests/failing: update expected output * bin/kevm: correctly handle kevm kompile * kevm-pyk/__main__: make sure we print out configuration on failed kruns too * bin/kevm: add foundry commands to ones passed through to kevm-pyk * flake.nix: include foundry in kevm-test target * package/test-package: disable foundry tests on nix ci * Set Version: 1.0.243 * Makefile: bring back proto-tester --------- Co-authored-by: devops <[email protected]> * create action to update prove output * manually trigger the workflow * move as workflow * add as workflow * convert event as push * rem description * remove docker * push updates * remove escaped quote * apply review suggestions * update submodules in action * update submodules init * pull all submodules * Recursive checkout already will grab the deps * with-docker input updates * maven * INclude stack dep for build k-deps step, fixes failure in Reactor summary Haskell Backend * Missing build args for distro and os * Test * Install stack * INclude stack dep for build k-deps step, fixes failure in Reactor summary Haskell Backend * Force update of submodules * SKIP_LLVM=true * add libyaml * add libcrypto++ dep * commit changes --------- Co-authored-by: Raoul <[email protected]> Co-authored-by: devops <[email protected]> Co-authored-by: rv-jenkins <[email protected]> Co-authored-by: Franfran <[email protected]> Co-authored-by: François Guyot <[email protected]> Co-authored-by: Everett Hildenbrandt <[email protected]> Co-authored-by: Andrei Văcaru <[email protected]> Co-authored-by: Andrei <[email protected]> Co-authored-by: Georgy Lukyanov <[email protected]> Co-authored-by: Samuel Balco <[email protected]> Co-authored-by: Dwight Guth <[email protected]> Co-authored-by: franfran <[email protected]> * debug test * remove * rem * change echo * docker run * add build context * invoke ARG * remove FROM ubuntu:jammy * write back old build step * remove curly braces * Adding brackets * K_VERSION > K_COMMIT" * build stack from k deps * get var from id * get K_VERSION from pyk * install poetry externally * install python * get version from k dep * remove poetry * build in deps/k * cp to new location * install maven * use the same user * replace USER_ID by USER * run from docker as github-user * add to PATH * check for stack upgrade * write stack on fs * keep invoking ARG * remove irrelevant stack call * add libyaml lib * run tests and allow empty commit * pass as PYTEST_ARGS * test-data/show/: update expected show output * use pytest * Set Version: 1.0.245 * write default os-distro * use booster backedn * test-data/show/: update expected show output * use github-user everywhere * test-data/show/: update expected show output * test-data/show/: update expected show output * Set Version: 1.0.246 * test-data/show/: update expected show output * trigger the action manually * Set Version: 1.0.247 * don't override llvm * on workflow disp * Set Version: 1.0.248 * update master * arg llvm * hardcode llvm ver * Set Version: 1.0.249 * last user forgotten * indent on: * Hotfix/add update prove ci (#1998) * Test foundry build steps. Removing specific name of KEVM package version, only 1 will exist per build * Remove need dep for testing * Unbound version fix * Reduce CI load for testing just packaging * Reduce CI load for testing just packaging * Foundry prove indent was wrong for inputs * Var naming * Container name * User dockerfile pointer * Let there be a user definition accepted from build-args * Updating reference to 'user' * user 17 runner always * user def * user change * Fixing foundry root * Missing slash * Adding back original test * cleanup ARG (#2003) * ARG before FROM and call first * remove llvm out of scope * deps/k: back out changes * apply review suggestions * Set Version: 1.0.250 * Set Version: 1.0.250 * Set Version: 1.0.251 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Freeman <[email protected]> Co-authored-by: F-WRunTime <[email protected]> Co-authored-by: François Guyot <[email protected]> Co-authored-by: Raoul <[email protected]> Co-authored-by: rv-jenkins <[email protected]> Co-authored-by: Everett Hildenbrandt <[email protected]> Co-authored-by: Andrei Văcaru <[email protected]> Co-authored-by: Andrei <[email protected]> Co-authored-by: Georgy Lukyanov <[email protected]> Co-authored-by: Samuel Balco <[email protected]> Co-authored-by: Dwight Guth <[email protected]>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR is part of the efforts to migrate to declarative
KBuildstyle builds: #1744In particular we:
kore-json.pyfile which used to convert JSON -> Kore, in favor ofgst-to-kore.searchfunctionality of KEVM, which was untested and broken (not very broken, but not worth fixing).interpretfunctionality of KEVM, which was used to run conformance tests quickly, but now is replaced with apytestharness anyway.kevmscript directly to thekevm-pyklibrary.kevmscript.