Update CHANGES.md

formalsec · Nov 6, 2024 · 9561eb6 · 9561eb6
1 parent f46d245
commit 9561eb6
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,7 +1,12 @@
 ## Unreleased
 
 ### Added
+
 ### Fixed
+
+- Fixes incorrect type calculation of bitv `*_extend` ops
+- Bumps bitwuzla 0.4.0 -> 0.6.0 to fix segmentation faults
+
 ### Changed
 
 ## v0.3.0