Skip to content

crux-llvm nightly Public Latest

Crucible is a library for symbolic simulation of imperative programs

Install from the command line
Learn more about packages
$ docker pull ghcr.io/galoisinc/crux-llvm:nightly

Recent tagged image versions

  • nightly
    Published about 2 hours ago · Digest
    sha256:33a16a2cd566a7b2d12486200ef21a00f6fe4f09025c8a51737c4d43b9c9e012
    0 Version downloads
  • latest 0.9
    Published 6 months ago · Digest
    sha256:c226b2ff4fc46dd4e38be3d48e18ef8305599ecee2f9e5caca96d31023ff4426
    7 Version downloads
  • 0.8
    Published about 1 year ago · Digest
    sha256:35b005985b9c20a0e3ab18cafe64fbf5741af012a97cb90d20284057211b327b
    112 Version downloads
  • 0.7
    Published over 1 year ago · Digest
    sha256:23d81b4e6a0ec2d5273bfdcd1c8676af835f569af4f4e01c38715bf4975ec1dc
    158 Version downloads
  • 0.6
    Published almost 3 years ago · Digest
    sha256:346e908db221c23e3667697ff2eb357513bc09211ea3d57940a60ce6fdaa1700
    163 Version downloads
View all tagged versions

Loading

Last published

2 hours ago

Discussions

2

Issues

188

Total downloads

1.08K