https://github.com/runtimeverification/avm-semantics
Python15
4 months ago
BSD 3-Clause "New" or "Revised" License
K Semantics of the Ethereum Virtual Machine (EVM)
Python509bsd-3-clause
2 days ago