Search Docker Hub
Back
kmir
By runtimeverificationinc
MIR Semantics Use `kmir <command> --help` with each command for more details.
10K+
Content type
Image
Digest
sha256:5c1f7868d…
Size
1.8 GB
Last updated
27 days ago
docker pull runtimeverificationinc/kmir:ubuntu-jammy-latest