Skip to content

crux-llvm

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 20 hours ago · Digest
    sha256:86108926070e760d6cbc968cf2d53ec9c567561a2b84b0fc7010293a1cbe24d3
    0 Version downloads
  • latest 0.8
    Published 4 months ago · Digest
    sha256:35b005985b9c20a0e3ab18cafe64fbf5741af012a97cb90d20284057211b327b
    111 Version downloads
  • 0.7
    Published 12 months ago · Digest
    sha256:23d81b4e6a0ec2d5273bfdcd1c8676af835f569af4f4e01c38715bf4975ec1dc
    157 Version downloads
  • 0.6
    Published about 2 years ago · Digest
    sha256:346e908db221c23e3667697ff2eb357513bc09211ea3d57940a60ce6fdaa1700
    162 Version downloads
  • 0.5-r1
    Published over 2 years ago · Digest
    sha256:ff9bed9fd2b2c42355bd54500be0b9c1c16b702e6f208a656ddfb977a311df7f
    161 Version downloads
View all tagged versions

Last published

20 hours ago

Discussions

2

Issues

166

Total downloads

1.04K

Collaborators 5