KEVM: Semantics of EVM in K

In this repository we provide a model of the EVM in K.

Fast Installation

bash <(curl https://kframework.org/install): install the kup utility
kup install kevm: install KEVM.
kup list kevm: list available KEVM versions.
kup update kevm: update to latest KEVM version.

Documentation/Support

These may be useful for learning KEVM and K (newest to oldest):

[Jello Paper], a nice presentation of this repository.
20 minute tour of the semantics at [2017 Devcon3].
KEVM 1.0 technical report, especially sections 3 and 5.
KEVM Paper at CSF'18/FLoC.

To get support for KEVM, please join our Discord Channel.