search

GaloisInc / crucible

Crucible is a library for symbolic simulation of imperative programs
617 stars 42 forks source link

crucible-llvm: Generalize pipe-fitting code to any language extension #1188

Closed langston-barrett closed 4 months ago

langston-barrett commented 4 months ago

This will be helpful for e.g. Macaw.