Mention #1155 in the crucible-llvm CHANGELOG

(cherry picked from commit e6559db)
GaloisInc · Feb 6, 2024 · fd2351d · fd2351d
1 parent de731ba
commit fd2351d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/crucible-llvm/CHANGELOG.md b/crucible-llvm/CHANGELOG.md
@@ -4,6 +4,9 @@
   Use `decName` to get a `Symbol` from a `Declare`.
 * Implement overrides for the LLVM `llvm.is.fpclass.f*` intrinsics.
 * Implement overrides for the `isinf`, `__isinf`, and `__isinff` C functions.
+* Implement overrides for the LLVM `llvm.fma.f*` and `llvm.fmuladd.f*`
+  intrinsics.
+* Implement overrides for the `fma` and `fmaf` C functions.
 
 # 0.5
 * Add `?memOpts :: MemOptions` constraints to the following functions: