crux-mir
/
sha256:1eb446519952afc1003c694aec91cf0c891d36f46769058ec139c44dd03b3450
latest
sha256:1eb446519952afc1003c694aec91cf0c891d36f46769058ec139c44dd03b3450
Install from the command line
Learn more about packages
$ docker pull ghcr.io/galoisinc/crux-mir:latest
Use as base image in Dockerfile:
FROM ghcr.io/galoisinc/crux-mir:latest
Crucible is a library for symbolic simulation of imperative programs
Manifest
{
"digest": "sha256:1eb446519952afc1003c694aec91cf0c891d36f46769058ec139c44dd03b3450",
"mediaType": "application/vnd.docker.distribution.manifest.v2+json",
"size": 2005,
"config": {
"digest": "sha256:fee0caf7a269fb3dc91cfe8821b5480219bf12c01947dfd5cf7be14bad5e7c38",
"mediaType": "application/vnd.docker.container.image.v1+json",
"size": 4285
},
"layers": [
{
"digest": "sha256:4f4fb700ef54461cfa02571ae0db9a0dc1e0cdb5577484a6d75e68dc38e8acc1",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 32
},
{
"digest": "sha256:762bedf4b1b784c3de6c5022c5307d63123d3b7cdd59211317e37e9d477deaa0",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 30440714
},
{
"digest": "sha256:f9e117cdd754e66ea1887647423826cd305f116e7e265a6d9b8de42c755e7fec",
"mediaType": "application/octet-stream",
"size": 40528044
},
{
"digest": "sha256:5eb8e812a90618e4943b10f5fd42f0680fda2c9066a19271dde972486c6e7ffd",
"mediaType": "application/octet-stream",
"size": 522731132
},
{
"digest": "sha256:7f14734026953cee6008c625c1fce4b1161487f8f83ffa4b36fd93f455871171",
"mediaType": "application/octet-stream",
"size": 471533728
},
{
"digest": "sha256:459bc41925cee4b527327937a2ea7a9c9ce2fd069f868c9c263b7fa147c9a3b0",
"mediaType": "application/octet-stream",
"size": 57537522
},
{
"digest": "sha256:8bd276b5b132f194458c9f5b8ff63f81e854039be69753c9b834fa94897f0eac",
"mediaType": "application/octet-stream",
"size": 191849398
},
{
"digest": "sha256:b10ba4d7184ccaa9d4c92127fb23aa06c037e2667a430ce864ec187ee3d29be1",
"mediaType": "application/octet-stream",
"size": 124
},
{
"digest": "sha256:fee0caf7a269fb3dc91cfe8821b5480219bf12c01947dfd5cf7be14bad5e7c38",
"mediaType": "application/octet-stream",
"size": 4285
}
],
"labels": {
"org.opencontainers.image.url": "https://github.com/GaloisInc/crucible",
"org.opencontainers.image.source": "https://github.com/GaloisInc/crucible",
"org.opencontainers.image.title": "crucible",
"org.opencontainers.image.revision": "dce15f2ad40469e826d85bc90c7f2901f209be50",
"org.opencontainers.image.created": "2024-09-03T16:55:09.389Z",
"org.opencontainers.image.version": "release-crux-0.9",
"org.opencontainers.image.description": "Crucible is a library for symbolic simulation of imperative programs",
"org.opencontainers.image.ref.name": "ubuntu",
"org.opencontainers.image.licenses": ""
}
}
Details
- crux-mir
- GaloisInc
- GaloisInc/crucible
- 16 days ago
Download activity
- Total downloads 2
- Last 30 days 2
- Last week 2
- Today 0