From 9561eb63726621dafdf38ced05165f2047d9e4b6 Mon Sep 17 00:00:00 2001
From: Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
Date: Wed, 6 Nov 2024 14:36:33 +0000
Subject: [PATCH] Update CHANGES.md

---
 CHANGES.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/CHANGES.md b/CHANGES.md
index 4bfc11ec..eefda965 100644
--- 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