From b2c6e2d2b3bdd97813f8ad26722bbaa83437d706 Mon Sep 17 00:00:00 2001
From: Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
Date: Wed, 6 Nov 2024 19:58:55 +0000
Subject: [PATCH] Prepare v0.3.1

---
 CHANGES.md | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/CHANGES.md b/CHANGES.md
index eefda965..8d8863c6 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,14 +1,16 @@
 ## Unreleased
 
 ### Added
+### Fixed
+### Changed
+
+## v0.3.1
 
 ### 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
 
 ### Added