Skip to content

crux-mir

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 12 hours ago · Digest
    sha256:59035a5f51cff0a4e8766bad466a1696a0edf8172ef84c66e369eeea6e90fe6c
    0 Version downloads
  • latest 0.9
    Published 3 months ago · Digest
    sha256:1eb446519952afc1003c694aec91cf0c891d36f46769058ec139c44dd03b3450
    6 Version downloads
  • 0.8
    Published 10 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

12 hours ago

Discussions

2

Issues

172

Total downloads

1.23K