crucible-llvm: Generalize override registration code - Githubissues

GaloisInc / crucible

Crucible is a library for symbolic simulation of imperative programs

617 stars 42 forks source link

crucible-llvm: Generalize override registration code #1189

Closed langston-barrett closed 4 months ago

langston-barrett commented 4 months ago

bind_llvm_{handle,func} now:

Don't require a whole LLVMContext, just a GlobalVar Mem
Are polymorphic over ext