This repo provides a docker image for the KEVM.
dwightguth/evm-semantics-docker
Docker image for https://github.com/kframework/evm-semantics/
ShellMIT
Docker image for https://github.com/kframework/evm-semantics/
ShellMIT
This repo provides a docker image for the KEVM.