Prepare v0.3.1

formalsec · Nov 6, 2024 · b2c6e2d · b2c6e2d
1 parent 9561eb6
commit b2c6e2d
Showing 1 changed file with 4 additions and 2 deletions.
diff --git 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