crucible-llvm: Mention changes to binding function pointers in changelog

GaloisInc · Dec 5, 2023 · 433c97f · 433c97f
1 parent 1b7c6f5
commit 433c97f
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/crucible-llvm/CHANGELOG.md b/crucible-llvm/CHANGELOG.md
@@ -1,3 +1,8 @@
+# next
+
+* `bindLLVMFunPtr` now accepts an `Text.LLVM.AST.Symbol` rather than a whole `Declare`.
+  Use `decName` to get a `Symbol` from a `Declare`.
+
 # 0.5
 * Add `?memOpts :: MemOptions` constraints to the following functions:
   * `Lang.Crucible.LLVM.MemModel`: `doStore`, `storeRaw`, `condStoreRaw`, and