Equations
- SortSchedule.DEFAULT_EVM.toNat = 0
- SortSchedule.FRONTIER_EVM.toNat = 1
- SortSchedule.HOMESTEAD_EVM.toNat = 2
- SortSchedule.TANGERINE_WHISTLE_EVM.toNat = 3
- SortSchedule.SPURIOUS_DRAGON_EVM.toNat = 4
- SortSchedule.BYZANTIUM_EVM.toNat = 5
- SortSchedule.CONSTANTINOPLE_EVM.toNat = 6
- SortSchedule.PETERSBURG_EVM.toNat = 7
- SortSchedule.ISTANBUL_EVM.toNat = 8
- SortSchedule.BERLIN_EVM.toNat = 9
- SortSchedule.LONDON_EVM.toNat = 10
- SortSchedule.MERGE_EVM.toNat = 11
- SortSchedule.SHANGHAI_EVM.toNat = 12
- SortSchedule.CANCUN_EVM.toNat = 13
Instances For
Equations
- SortScheduleConst.Gaccesslistaddress_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gaccessliststoragekey_SCHEDULE_ScheduleConst.toNat = 2
- SortScheduleConst.Gbalance_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gbase_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gblockhash_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gcall_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gcallstipend_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gcallvalue_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gcodedeposit_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gcoldaccountaccess_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gcoldsload_SCHEDULE_ScheduleConst.toNat = 0
- SortScheduleConst.Gcopy_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gcreate_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gecadd_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gecmul_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gecpaircoeff_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gecpairconst_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gexp_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gexpbyte_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gextcodecopy_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gextcodesize_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gfround_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Ghigh_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Ginitcodewordcost_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gjumpdest_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Glog_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Glogdata_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Glogtopic_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Glow_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gmemory_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gmid_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gnewaccount_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gquadcoeff_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gquaddivisor_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gselfdestruct_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gsha3_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gsha3word_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gsload_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gsstorereset_SCHEDULE_ScheduleConst.toNat = 2
- SortScheduleConst.Gsstoreset_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gtransaction_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gtxcreate_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gtxdatanonzero_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gtxdatazero_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gverylow_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gwarmstoragedirtystore_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gwarmstorageread_SCHEDULE_ScheduleConst.toNat = 2
- SortScheduleConst.Gzero_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Rb_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Rmaxquotient_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Rselfdestruct_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Rsstoreclear_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.maxCodeSize_SCHEDULE_ScheduleConst.toNat = 2
- SortScheduleConst.maxInitCodeSize_SCHEDULE_ScheduleConst.toNat = 4
- SortScheduleConst.Gpointeval_SCHEDULE_ScheduleConst.toNat = 4
Instances For
Equations
- SortScheduleFlag.Gemptyisnonexistent_SCHEDULE_ScheduleFlag.toNat = 1
- SortScheduleFlag.Ghasaccesslist_SCHEDULE_ScheduleFlag.toNat = 1
- SortScheduleFlag.Ghasbasefee_SCHEDULE_ScheduleFlag.toNat = 1
- SortScheduleFlag.Ghasbeaconroot_SCHEDULE_ScheduleFlag.toNat = 1
- SortScheduleFlag.Ghasblobbasefee_SCHEDULE_ScheduleFlag.toNat = 1
- SortScheduleFlag.Ghasblobhash_SCHEDULE_ScheduleFlag.toNat = 1
- SortScheduleFlag.Ghaschainid_SCHEDULE_ScheduleFlag.toNat = 1
- SortScheduleFlag.Ghascreate2_SCHEDULE_ScheduleFlag.toNat = 1
- SortScheduleFlag.Ghasdirtysstore_SCHEDULE_ScheduleFlag.toNat = 1
- SortScheduleFlag.Ghaseip6780_SCHEDULE_ScheduleFlag.toNat = 1
- SortScheduleFlag.Ghasextcodehash_SCHEDULE_ScheduleFlag.toNat = 1
- SortScheduleFlag.Ghasmaxinitcodesize_SCHEDULE_ScheduleFlag.toNat = 1
- SortScheduleFlag.Ghasmcopy_SCHEDULE_ScheduleFlag.toNat = 1
- SortScheduleFlag.Ghasprevrandao_SCHEDULE_ScheduleFlag.toNat = 1
- SortScheduleFlag.Ghaspushzero_SCHEDULE_ScheduleFlag.toNat = 1
- SortScheduleFlag.Ghasrejectedfirstbyte_SCHEDULE_ScheduleFlag.toNat = 1
- SortScheduleFlag.Ghasreturndata_SCHEDULE_ScheduleFlag.toNat = 1
- SortScheduleFlag.Ghasrevert_SCHEDULE_ScheduleFlag.toNat = 1
- SortScheduleFlag.Ghasselfbalance_SCHEDULE_ScheduleFlag.toNat = 1
- SortScheduleFlag.Ghasshift_SCHEDULE_ScheduleFlag.toNat = 1
- SortScheduleFlag.Ghassstorestipend_SCHEDULE_ScheduleFlag.toNat = 1
- SortScheduleFlag.Ghasstaticcall_SCHEDULE_ScheduleFlag.toNat = 1
- SortScheduleFlag.Ghastransient_SCHEDULE_ScheduleFlag.toNat = 1
- SortScheduleFlag.Ghaswarmcoinbase_SCHEDULE_ScheduleFlag.toNat = 1
- SortScheduleFlag.Ghaswithdrawals_SCHEDULE_ScheduleFlag.toNat = 1
- SortScheduleFlag.Gselfdestructnewaccount_SCHEDULE_ScheduleFlag.toNat = 1
- SortScheduleFlag.Gstaticcalldepth_SCHEDULE_ScheduleFlag.toNat = 1
- SortScheduleFlag.Gzerovaluenewaccountgas_SCHEDULE_ScheduleFlag.toNat = 1