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 2 hours ago · Digest
    sha256:58711baf400095875f32778fe2e64d2f84df11f46a894303ba144960011fc962
    0 Version downloads
  • latest 0.9
    Published 6 months ago · Digest
    sha256:1eb446519952afc1003c694aec91cf0c891d36f46769058ec139c44dd03b3450
    28 Version downloads
  • 0.8
    Published about 1 year ago · Digest
    sha256:5c9be045bc07ca791f2874b4fb6e4fc36f65d70ed1751b9563fa1f6e29116d4a
    103 Version downloads
  • 0.7
    Published over 1 year ago · Digest
    sha256:5e04f3725a70fe2d76c0093cafe88fc554803adb3c003b7cadea412154361d41
    151 Version downloads
  • 0.6
    Published almost 3 years ago · Digest
    sha256:583b87a04dae5ed54ce6e7e533c8408d6afd7ac036aba3f60ba6c4db10748c6d
    442 Version downloads
View all tagged versions

Loading

Last published

2 hours ago

Discussions

2

Issues

188

Total downloads

1.29K