Add overrides for `fma`, `fmaf`, `llvm.fmuladd.*`, and `llvm.fma.*` - Githubissues

GaloisInc / crucible

Crucible is a library for symbolic simulation of imperative programs

628 stars 42 forks source link

Add overrides for `fma`, `fmaf`, `llvm.fmuladd.`, and `llvm.fma.` #1155

Closed RyanGlScott closed 9 months ago

RyanGlScott commented 9 months ago

Fixes #1154.