spec: Runtime spec for gas and stack accounting#4

Merged

nagisa merged 4 commits intomainfrom nagisa/gas-stack

Jul 28, 2022

Commits on Jul 27, 2022

Commits on Jul 28, 2022

spec: specify when trapping occurs
nagisa
committed