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