runtimeverificationinc/evm-semantics repository overview

This repository contains images for https://github.com/kframework/evm-semantics⁠.

Currently, two tags are supported:

• evm-semantics:latest This image contains all the built artifacts. If you launch a container as such

  docker run -it --rm runtimeverificationinc/evm-semantics
  

  Copy

  you will find yourself in an environment with the project cloned and built from source, under /home/user/evm-semantics.

• evm-semantics:dev This is the image containing all the build dependencies. You can launch a container using this image with

  docker run -it --rm runtimeverificationinc/evm-semantics:dev
  

  Copy

  and then follow the instructions at https://github.com/kframework/evm-semantics⁠ to build the project.