Sign inSign up

mrsmkl/docker-why3

By mrsmkl

•Updated about 10 years ago

tools for formal verification of solidity programs

Image
0

323

mrsmkl/docker-why3 repository overview

⁠docker-why3

Instructions from https://gist.github.com/kobigurk/a6efa63ac60c9a412af765b507e4a7e3⁠

docker build -t formal . 
docker run -ti --rm -e DISPLAY=$DISPLAY  -v /tmp/.X11-unix:/tmp/.X11-unix -v ~/formal_work:/work formal

See also https://github.com/cogumbreiro/why3-dockerfile⁠

Tag summary

Content type

Image

Digest

Size

1.4 GB

Last updated

about 10 years ago

docker pull mrsmkl/docker-why3