From 6d6c1d74fd78002f455ca5155d7c2f0700cda45b Mon Sep 17 00:00:00 2001 From: Sirui Lu Date: Sat, 9 Nov 2024 03:14:04 -0800 Subject: [PATCH] :memo: Update CHANGELOG.md --- CHANGELOG.md | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 3feb3a19..1ffa11be 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -6,6 +6,13 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/), and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html). +## [Unreleased] + +### Added + +- `SomeBV` now allows being used under conditionals even if no bit-width is + specified. ([#261](https://github.com/lsrcz/grisette/pull/261)) + ## [0.9.0.0] - 2024-11-07 ### Added