search

pirapira / eth-isabelle

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

Use externally specified protocol version #404

Closed pirapira closed 7 years ago

pirapira commented 7 years ago

Before this PR, the protocol version was inferred from the block number. However, in order to execute the BlockChainTests suite, we need to run the same sequence of transactions under multiple protocol versions.