You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
KEVMSemantics: refactor custom_step and can_make_custom_step#2662
Merged
PetarMax merged 2 commits intomasterruntimeverification/evm-semantics:masterfrom custom_step_tweaksruntimeverification/evm-semantics:custom_step_tweaksCopy head branch name to clipboardDec 5, 2024
