GaloisInc / crucible

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

crucible-llvm: Factor out lists of overrides for LLVM intrinsics #1187

Closed langston-barrett closed 4 months ago

langston-barrett commented 4 months ago

This makes these LLVMOverrides more accessible to downstream consumers, as they are reified as data (SomeLLVMOverride, Poly1LLVMOverride) rather than monadic actions (OverrideTemplate).

Requested in review of #1186.