Sign inSign up

franck44/tacas25

By franck44

•Updated almost 2 years ago

Docker image for TACAS25 artefact.

Image
0

251

franck44/tacas25 repository overview

This is a Docker image to run the evm-dis, EVM bytecode disassembler in Dafny.

Tag summary

Content type

Image

Digest

sha256:23d3d8c76…

Size

1.6 GB

Last updated

almost 2 years ago

docker pull franck44/tacas25