search

runtimeverification / evm-semantics

K Semantics of the Ethereum Virtual Machine (EVM)
BSD 3-Clause "New" or "Revised" License
509 stars 144 forks source link

Update doc #2599

Closed Stevengre closed 2 months ago

Stevengre commented 2 months ago

I encountered some issues while following the README to build evm-semantics, so I’m addressing them in this PR to help others avoid the same problems.