search

runtimeverification / michelson-semantics

A K semantics of Tezos' Michelson language.
Other
17 stars 6 forks source link

Consider adding Tezos gas model #132

Open sskeirik opened 4 years ago

sskeirik commented 4 years ago

Unfortunately, gas model is quite complex and not well-documented.

Fortunately, some brave explorers read through the source code and produced a quite readable version: https://gitlab.com/morley-framework/morley/-/blob/master/docs/gasConsumption.md