pirapira / eth-isabelle

A Lem formalization of EVM and some Isabelle/HOL proofs
Other
237 stars 42 forks source link

ContractCreate also checks the height of global stack #391

Closed pirapira closed 7 years ago

pirapira commented 7 years ago

The global stack of calls should not reach 1024 even when CREATE is called.