Mention #2007 in CHANGES.md

GaloisInc · Feb 3, 2024 · ea7f3eb · ea7f3eb
1 parent 8244c4e
commit ea7f3eb
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -35,6 +35,9 @@
   For more information, see the
   [manual](https://github.com/GaloisInc/saw-script/blob/master/doc/manual/manual.md#analyzing-hardware-circuits-using-yosys).
 
+* Extend `llvm_verify_x86` in order to handle x86 functions that spill arguments
+  to the stack.
+
 # Version 1.0 -- 2023-06-26
 
 ## New Features