search

GaloisInc / crucible

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

llvm: Export `CallStack` internals from an internal module #1163

Closed langston-barrett closed 8 months ago

langston-barrett commented 8 months ago

Also fixes #1112.