pirapira / eth-isabelle

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

Fix SimpleWallet.thy #408

Closed pirapira closed 7 years ago

pirapira commented 7 years ago

SimpleWallet.thy example is broken since some gas changes were applied on CALL instruction. This issue keeps track of fixing the example.

pirapira commented 7 years ago

I will try and close this if it's already fixed.