-
Notifications
You must be signed in to change notification settings - Fork 143
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* add SHANGHAI schedule * EIP-3561: warm coinbase * EIP-3855: PUSHZERO instruction * EIP-3860: initcode limit and metering * EIP-4895: withdrawals * fix eips * Set Version: 1.0.210 * cleanup * update expected files for interactive tests * Set Version: 1.0.211 * Set Version: 1.0.211 * update schedule in python test * Set Version: 1.0.215 * update accesslist_proto.bin.expected * update configuration for tests * add PUSHZERO optimization * Set Version: 1.0.218 * Set Version: 1.0.219 * Set Version: 1.0.220 * fix test expected output * Set Version: 1.0.221 * Set Version: 1.0.228 * update expected files for gst_to_kore * update schedule in kevm pyk * update log3_MaxTopic.parse-expected * Set Version: 1.0.229 * fix schedule in Makefile * Set Version: 1.0.237 * Set Version: 1.0.238 * Set Version: 1.0.239 * Set Version: 1.0.240 * Set Version: 1.0.242 * update expected output for foundry-prove * Set Version: 1.0.243 * Set Version: 1.0.249 * Set Version: 1.0.251 * set default schedule to shanghai in tests/specs/examples * Set Version: 1.0.252 * set default schedule for foundry * Set Version: 1.0.253 * Foundry/forge+solc nix fixes (#2008) * Fix solc version * cleanup * Set Version: 1.0.251 * switch to patched version of solc.nix * switched back to github:hellwolf/solc.nix * Set Version: 1.0.252 --------- Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: Everett Hildenbrandt <everett.hildenbrandt@gmail.com> * Set Version: 1.0.253 * Set Version: 1.0.257 * update expected output of foundry-tests * update-expected output in kevm-pyk * Set Version: 1.0.259 * Set Version: 1.0.261 * Set Version: 1.0.286 * Set Version: 1.0.290 * Update test-pr.yml Increase timeout of tests * Revert "set default schedule to shanghai in tests/specs/examples" This reverts commit 341173e. * Update test-pr.yml Return timeouts to original. * Update test-pr.yml * review suggestions * Set Version: 1.0.291 --------- Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: Samuel Balco <goodlyrottenapple@gmail.com> Co-authored-by: Everett Hildenbrandt <everett.hildenbrandt@gmail.com> Co-authored-by: Freeman <105403280+F-WRunTime@users.noreply.github.com>
- Loading branch information
1 parent
86adf32
commit 4fad7d9
Showing
148 changed files
with
432 additions
and
154 deletions.
There are no files selected for viewing
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 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 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 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 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 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 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
Oops, something went wrong.