Tags · GaloisInc/crucible

crux-v0.10

crux-llvm: Bump release version to 0.10

One part of a fix for #1340.

(cherry picked from commit 76a0494)

Update version numbers for crux-v0.9 release

CI: Properly detect when releases are tagged

Add crucible-mir to crux-mir Docker image

Update Crux versions to 0.6

Updates crux-llvm docker image for finding supporting files in image.

Make crux-mir Dockerfile more convenient

Include signature files in build artifacts (#560)

Merge pull request #223 from GaloisInc/jhx/smt-checks

Add additional checks to SMT syntax

Merge branch 'master' of github.com:GaloisInc/crucible

PreviousNext