View on GitHub

evm-semantics

K Semantics of the Ethereum Virtual Machine (EVM)

EVM Words

requires "krypto.k"
requires "evm-types.k"
requires "json.k"
requires "serialization.k"
module EVM-DATA
    imports KRYPTO
    imports EVM-TYPES
    imports SERIALIZATION
    imports STRING-BUFFER
    imports MAP-SYMBOLIC
    imports COLLECTIONS
    imports JSON

```{.k .concrete .bytes} imports BYTES


```k
endmodule