/evm-semantics-docker

Docker image for https://github.com/kframework/evm-semantics/

Primary LanguageShellMIT LicenseMIT

evm-semantics-docker

This repo provides a docker image for the KEVM.