CHANGES: Add llvm_ffi_setup

GaloisInc · Oct 3, 2023 · 8977fc7 · 8977fc7
1 parent 8b4d156
commit 8977fc7
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -13,6 +13,10 @@
   information, see the
   [manual](https://github.com/GaloisInc/saw-script/blob/master/doc/manual/manual.md#cryptol-and-its-role-in-saw).
 
+* Building on the above feature, SAW now supports automatically
+  generating LLVM setup scripts for Cryptol FFI functions with the
+  `llvm_ffi_setup` command. For more information, see the [manual](https://github.com/GaloisInc/saw-script/blob/master/doc/manual/manual.md#verifying-cryptol-ffi-functions).
+
 # Version 1.0 -- 2023-06-26
 
 ## New Features