search

GaloisInc / crucible

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

Export bindLLVMFunPtr #1202

Closed RyanGlScott closed 2 months ago

RyanGlScott commented 2 months ago

PR #1198 moved bindLLVMFunPtr to Lang.Crucible.LLVM.Functions, but it did not export it publicly. This function is used by SAW, so it would be nice to continue to offer it as part of the public API.