pirapira / eth-isabelle

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

Gas price belongs to the transaction not the block #421

Closed pirapira closed 7 years ago

pirapira commented 7 years ago

The gas price belongs to the transaction, not to the block. This has to be reflected in this formalization.

pirapira commented 7 years ago

I delay merging of this PR until the separation algebra lands.