Skip to content

crux-mir 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-mir:nightly

Recent tagged image versions

  • nightly
    Published about 23 hours ago · Digest
    sha256:9e8497bd40581b1b7c5491879b6dde38bc5f2acf753c820998d701cc11c7dffe
    0 Version downloads
  • latest 0.9
    Published 4 months ago · Digest
    sha256:1eb446519952afc1003c694aec91cf0c891d36f46769058ec139c44dd03b3450
    7 Version downloads
  • 0.8
    Published 11 months ago · Digest
    sha256:5c9be045bc07ca791f2874b4fb6e4fc36f65d70ed1751b9563fa1f6e29116d4a
    103 Version downloads
  • 0.7
    Published over 1 year ago · Digest
    sha256:5e04f3725a70fe2d76c0093cafe88fc554803adb3c003b7cadea412154361d41
    151 Version downloads
  • 0.6
    Published over 2 years ago · Digest
    sha256:583b87a04dae5ed54ce6e7e533c8408d6afd7ac036aba3f60ba6c4db10748c6d
    432 Version downloads
View all tagged versions

Loading

Last published

23 hours ago

Discussions

2

Issues

173

Total downloads

1.24K