search

pirapira / eth-isabelle

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

Implement EIP 170: max code size #437

Open pirapira opened 7 years ago

pirapira commented 7 years ago

block.lem should be aware that after EIP170, contract creation fails if the would-be deployed code is longer than a certain size.