Merge remote-tracking branch 'origin/master' into release

Author: rv-auditor

kevm-pyk/src/kevm_pyk/kproj/evm-semantics/schedule.md

@@ -440,7 +440,13 @@ A `ScheduleConst` is a constant determined by the fee schedule.
 ```k
     syntax Schedule ::= "PRAGUE" [symbol(PRAGUE_EVM), smtlib(schedule_PRAGUE)]
  // --------------------------------------------------------------------------
-    rule [SCHEDCONSTPrague]: SCHEDCONST < PRAGUE > => SCHEDCONST < CANCUN >
+    rule [GmaxblobgasPrague]:               Gmaxblobgas               < PRAGUE > => 1179648
+    rule [GtargetblobgasPrague]:            Gtargetblobgas            < PRAGUE > => 786432
+    rule [BlobbasefeeupdatefractionPrague]: Blobbasefeeupdatefraction < PRAGUE > => 5007716
+    rule [SCHEDCONSTPrague]:                SCHEDCONST                < PRAGUE > => SCHEDCONST < CANCUN >
+      requires notBool ( SCHEDCONST ==K Gmaxblobgas
+                  orBool SCHEDCONST ==K Gtargetblobgas
+                  orBool SCHEDCONST ==K Blobbasefeeupdatefraction )
 
     rule [GhasrequestsPrague]: Ghasrequests << PRAGUE >> => true
     rule [GhashistoryPrague]:  Ghashistory  << PRAGUE >> => true

tests/execution-spec-tests/failing.llvm

@@ -1189,18 +1189,6 @@ blockchain_tests/cancun/eip4844_blobs/blob_txs/valid_blob_tx_combinations.json,"
 blockchain_tests/cancun/eip4844_blobs/blob_txs/valid_blob_tx_combinations.json,"tests/cancun/eip4844_blobs/test_blob_txs.py::test_valid_blob_tx_combinations[fork_Prague-blobs_per_tx_(8, 1)-blockchain_test]"
 blockchain_tests/cancun/eip4844_blobs/blob_txs/valid_blob_tx_combinations.json,"tests/cancun/eip4844_blobs/test_blob_txs.py::test_valid_blob_tx_combinations[fork_Prague-blobs_per_tx_(8,)-blockchain_test]"
 blockchain_tests/cancun/eip4844_blobs/blob_txs/valid_blob_tx_combinations.json,"tests/cancun/eip4844_blobs/test_blob_txs.py::test_valid_blob_tx_combinations[fork_Prague-blobs_per_tx_(9,)-blockchain_test]"
-blockchain_tests/cancun/eip4844_blobs/blobhash_opcode_contexts/blobhash_opcode_contexts.json,tests/cancun/eip4844_blobs/test_blobhash_opcode_contexts.py::test_blobhash_opcode_contexts[opcode_context_on_CALLCODE-fork_Prague-blockchain_test]
-blockchain_tests/cancun/eip4844_blobs/blobhash_opcode_contexts/blobhash_opcode_contexts.json,tests/cancun/eip4844_blobs/test_blobhash_opcode_contexts.py::test_blobhash_opcode_contexts[opcode_context_on_CREATE-fork_Prague-blockchain_test]
-blockchain_tests/cancun/eip4844_blobs/blobhash_opcode_contexts/blobhash_opcode_contexts.json,tests/cancun/eip4844_blobs/test_blobhash_opcode_contexts.py::test_blobhash_opcode_contexts[opcode_context_on_CREATE2-fork_Prague-blockchain_test]
-blockchain_tests/cancun/eip4844_blobs/blobhash_opcode_contexts/blobhash_opcode_contexts.json,tests/cancun/eip4844_blobs/test_blobhash_opcode_contexts.py::test_blobhash_opcode_contexts[opcode_context_on_DELEGATECALL-fork_Prague-blockchain_test]
-blockchain_tests/cancun/eip4844_blobs/blobhash_opcode_contexts/blobhash_opcode_contexts.json,tests/cancun/eip4844_blobs/test_blobhash_opcode_contexts.py::test_blobhash_opcode_contexts[opcode_context_on_max_value-fork_Prague-blockchain_test]
-blockchain_tests/cancun/eip4844_blobs/blobhash_opcode_contexts/blobhash_opcode_contexts.json,tests/cancun/eip4844_blobs/test_blobhash_opcode_contexts.py::test_blobhash_opcode_contexts[opcode_context_on_STATICCALL-fork_Prague-blockchain_test]
-blockchain_tests/cancun/eip4844_blobs/blobhash_opcode/blobhash_invalid_blob_index.json,tests/cancun/eip4844_blobs/test_blobhash_opcode.py::test_blobhash_invalid_blob_index[fork_Prague-blockchain_test-scenario_invalid_calls]
-blockchain_tests/cancun/eip4844_blobs/blobhash_opcode/blobhash_multiple_txs_in_block.json,tests/cancun/eip4844_blobs/test_blobhash_opcode.py::test_blobhash_multiple_txs_in_block[fork_Prague-blockchain_test]
-blockchain_tests/cancun/eip4844_blobs/blobhash_opcode/blobhash_scenarios.json,tests/cancun/eip4844_blobs/test_blobhash_opcode.py::test_blobhash_scenarios[fork_Prague-blockchain_test-scenario_repeated_valid]
-blockchain_tests/cancun/eip4844_blobs/blobhash_opcode/blobhash_scenarios.json,tests/cancun/eip4844_blobs/test_blobhash_opcode.py::test_blobhash_scenarios[fork_Prague-blockchain_test-scenario_single_valid]
-blockchain_tests/cancun/eip4844_blobs/blobhash_opcode/blobhash_scenarios.json,tests/cancun/eip4844_blobs/test_blobhash_opcode.py::test_blobhash_scenarios[fork_Prague-blockchain_test-scenario_valid_invalid]
-blockchain_tests/cancun/eip4844_blobs/blobhash_opcode/blobhash_scenarios.json,tests/cancun/eip4844_blobs/test_blobhash_opcode.py::test_blobhash_scenarios[fork_Prague-blockchain_test-scenario_varied_valid]
 blockchain_tests/cancun/eip4844_blobs/excess_blob_gas_fork_transition/fork_transition_excess_blob_gas_at_blob_genesis.json,*
 blockchain_tests/cancun/eip4844_blobs/excess_blob_gas_fork_transition/fork_transition_excess_blob_gas_post_blob_genesis.json,*
 blockchain_tests/cancun/eip4844_blobs/excess_blob_gas_fork_transition/invalid_post_fork_block_without_blob_fields.json,*
@@ -1211,12 +1199,6 @@ blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/correct_decreasing_blob_ga
 blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/correct_decreasing_blob_gas_costs.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_correct_decreasing_blob_gas_costs[fork_Prague-parent_blobs_5-parent_excess_blobs_27-blockchain_test-new_blobs_1]
 blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/correct_decreasing_blob_gas_costs.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_correct_decreasing_blob_gas_costs[fork_Prague-parent_blobs_5-parent_excess_blobs_398-blockchain_test-new_blobs_1]
 blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/correct_decreasing_blob_gas_costs.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_correct_decreasing_blob_gas_costs[fork_Prague-parent_blobs_5-parent_excess_blobs_848-blockchain_test-new_blobs_1]
-blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/correct_excess_blob_gas_calculation.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_correct_excess_blob_gas_calculation[fork_Prague-parent_excess_blobs_0-parent_blobs_4-blockchain_test-new_blobs_1]
-blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/correct_excess_blob_gas_calculation.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_correct_excess_blob_gas_calculation[fork_Prague-parent_excess_blobs_0-parent_blobs_5-blockchain_test-new_blobs_1]
-blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/correct_excess_blob_gas_calculation.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_correct_excess_blob_gas_calculation[fork_Prague-parent_excess_blobs_0-parent_blobs_6-blockchain_test-new_blobs_1]
-blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/correct_excess_blob_gas_calculation.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_correct_excess_blob_gas_calculation[fork_Prague-parent_excess_blobs_0-parent_blobs_7-blockchain_test-new_blobs_1]
-blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/correct_excess_blob_gas_calculation.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_correct_excess_blob_gas_calculation[fork_Prague-parent_excess_blobs_0-parent_blobs_8-blockchain_test-new_blobs_1]
-blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/correct_excess_blob_gas_calculation.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_correct_excess_blob_gas_calculation[fork_Prague-parent_excess_blobs_0-parent_blobs_9-blockchain_test-new_blobs_1]
 blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/correct_excess_blob_gas_calculation.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_correct_excess_blob_gas_calculation[fork_Prague-parent_excess_blobs_1-parent_blobs_1-blockchain_test-new_blobs_1]
 blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/correct_excess_blob_gas_calculation.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_correct_excess_blob_gas_calculation[fork_Prague-parent_excess_blobs_1-parent_blobs_2-blockchain_test-new_blobs_1]
 blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/correct_excess_blob_gas_calculation.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_correct_excess_blob_gas_calculation[fork_Prague-parent_excess_blobs_1-parent_blobs_3-blockchain_test-new_blobs_1]
@@ -1436,9 +1418,6 @@ blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_excess_blob_gas_ch
 blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_excess_blob_gas_change.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_change[fork_Prague-parent_blobs_9-header_excess_blobs_delta_4-blockchain_test-new_blobs_1]
 blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_excess_blob_gas_change.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_change[fork_Prague-parent_blobs_9-header_excess_blobs_delta_5-blockchain_test-new_blobs_1]
 blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_excess_blob_gas_change.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_change[fork_Prague-parent_blobs_9-header_excess_blobs_delta_6-blockchain_test-new_blobs_1]
-blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_excess_blob_gas_target_blobs_increase_from_zero.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_target_blobs_increase_from_zero[fork_Prague-parent_blobs_4-header_excess_blobs_delta_1-blockchain_test-new_blobs_1-parent_excess_blobs_0]
-blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_excess_blob_gas_target_blobs_increase_from_zero.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_target_blobs_increase_from_zero[fork_Prague-parent_blobs_5-header_excess_blobs_delta_2-blockchain_test-new_blobs_1-parent_excess_blobs_0]
-blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_excess_blob_gas_target_blobs_increase_from_zero.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_target_blobs_increase_from_zero[fork_Prague-parent_blobs_6-header_excess_blobs_delta_3-blockchain_test-new_blobs_1-parent_excess_blobs_0]
 blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_negative_excess_blob_gas.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_negative_excess_blob_gas[fork_Prague-parent_excess_blobs_1-parent_blobs_1-header_excess_blob_gas_18446744073708765184-blockchain_test-new_blobs_1]
 blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_negative_excess_blob_gas.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_negative_excess_blob_gas[fork_Prague-parent_excess_blobs_1-parent_blobs_1-header_excess_blob_gas_18446744073708896256-blockchain_test-new_blobs_1]
 blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_negative_excess_blob_gas.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_negative_excess_blob_gas[fork_Prague-parent_excess_blobs_1-parent_blobs_1-header_excess_blob_gas_18446744073709027328-blockchain_test-new_blobs_1]
@@ -1593,9 +1572,6 @@ blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_non_multiple_exces
 blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_non_multiple_excess_blob_gas.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_non_multiple_excess_blob_gas[fork_Prague-parent_excess_blobs_7-parent_blobs_5-header_excess_blob_gas_delta_-131071-blockchain_test-new_blobs_1]
 blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_non_multiple_excess_blob_gas.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_non_multiple_excess_blob_gas[fork_Prague-parent_excess_blobs_7-parent_blobs_7-header_excess_blob_gas_delta_1-blockchain_test-new_blobs_1]
 blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_non_multiple_excess_blob_gas.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_non_multiple_excess_blob_gas[fork_Prague-parent_excess_blobs_7-parent_blobs_7-header_excess_blob_gas_delta_131071-blockchain_test-new_blobs_1]
-blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_static_excess_blob_gas_from_zero_on_blobs_above_target.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_static_excess_blob_gas_from_zero_on_blobs_above_target[fork_Prague-parent_blobs_7-blockchain_test-new_blobs_1-parent_excess_blobs_0-header_excess_blob_gas_0]
-blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_static_excess_blob_gas_from_zero_on_blobs_above_target.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_static_excess_blob_gas_from_zero_on_blobs_above_target[fork_Prague-parent_blobs_8-blockchain_test-new_blobs_1-parent_excess_blobs_0-header_excess_blob_gas_0]
-blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_static_excess_blob_gas_from_zero_on_blobs_above_target.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_static_excess_blob_gas_from_zero_on_blobs_above_target[fork_Prague-parent_blobs_9-blockchain_test-new_blobs_1-parent_excess_blobs_0-header_excess_blob_gas_0]
 blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_static_excess_blob_gas.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_static_excess_blob_gas[fork_Prague-parent_excess_blobs_1-parent_blobs_1-blockchain_test-new_blobs_1]
 blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_static_excess_blob_gas.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_static_excess_blob_gas[fork_Prague-parent_excess_blobs_1-parent_blobs_2-blockchain_test-new_blobs_1]
 blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_static_excess_blob_gas.json,tests/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_static_excess_blob_gas[fork_Prague-parent_excess_blobs_1-parent_blobs_3-blockchain_test-new_blobs_1]