crux-mir
/
sha256:8da4025b6dfc8022e993c097275e4591e04a6ae5b85ad6f2667cae338376270b
sha256:8da4025b6dfc8022e993c097275e4591e04a6ae5b85ad6f2667cae338376270b
Install from the command line
Learn more about packages
$ docker pull ghcr.io/galoisinc/crux-mir@sha256:8da4025b6dfc8022e993c097275e4591e04a6ae5b85ad6f2667cae338376270b
Use as base image in Dockerfile:
FROM ghcr.io/galoisinc/crux-mir@sha256:8da4025b6dfc8022e993c097275e4591e04a6ae5b85ad6f2667cae338376270b
Crucible is a library for symbolic simulation of imperative programs
Manifest
{
"digest": "sha256:8da4025b6dfc8022e993c097275e4591e04a6ae5b85ad6f2667cae338376270b",
"mediaType": "application/vnd.docker.distribution.manifest.v2+json",
"size": 2005,
"config": {
"digest": "sha256:ed1e5ab52c7f9407270e879497a51e659517e78818ba43691db660320a50c827",
"mediaType": "application/vnd.docker.container.image.v1+json",
"size": 4278
},
"layers": [
{
"digest": "sha256:4f4fb700ef54461cfa02571ae0db9a0dc1e0cdb5577484a6d75e68dc38e8acc1",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 32
},
{
"digest": "sha256:7478e0ac0f23f94b2f27848fbcdf804a670fbf8d4bab26df842d40a10cd33059",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 30439933
},
{
"digest": "sha256:21b905390fe01c0f82a1a27934198e0a45d616bdf8c084d192799045dc297f08",
"mediaType": "application/octet-stream",
"size": 57537249
},
{
"digest": "sha256:26945df6c4bb688691de806df1b9d456f72782adc288e797c91e224be8bc6334",
"mediaType": "application/octet-stream",
"size": 41208580
},
{
"digest": "sha256:51fefb1a661819e3f67f950fc188e7f860c04464b56b8aa446c672f2e3846249",
"mediaType": "application/octet-stream",
"size": 191851146
},
{
"digest": "sha256:5b2c70755aa9cf355a03397ee1c0db5ebe933dd2b7bb80232e7b496142a88e61",
"mediaType": "application/octet-stream",
"size": 121
},
{
"digest": "sha256:9cdc9262201fc6737b933384b01ff0f62539e7d1f61ec01f946b0164de3932ec",
"mediaType": "application/octet-stream",
"size": 234738946
},
{
"digest": "sha256:f650374334cbe2dea723f94d4e02fcc57f8d7ba85dbbfce04eb44594e54f3611",
"mediaType": "application/octet-stream",
"size": 471534965
},
{
"digest": "sha256:ed1e5ab52c7f9407270e879497a51e659517e78818ba43691db660320a50c827",
"mediaType": "application/octet-stream",
"size": 4278
}
],
"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": "e8e0c53ed62f6a87e1a03468f7c31ebb7e67574d",
"org.opencontainers.image.created": "2024-09-18T10:02:00.819Z",
"org.opencontainers.image.version": "nightly",
"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
- 1 day ago
Download activity
- Total downloads 0
- Last 30 days 0
- Last week 0
- Today 0