Prepare v0.2.2

formalsec · Jul 18, 2024 · 65e697d · 65e697d
1 parent 2c18703
commit 65e697d
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,7 +1,14 @@
 ## Unreleased
 
+### Added
+### Fixed
+### Changed
+
+## v0.2.2
+
 ### Added
 
+- Allow creating and lifting bitvecs of bitwidth = 1
 - Add unitary value `Value.Unit`
 - Add simplification cases for Nan and Infinity floats (@joaomhmpereira)
 - Add `Model.to_json` function
@@ -10,7 +17,7 @@
 ### Fixed
 ### Changed
 
-- Print bitvectors and fps in hexadecimal
+- Print bitvectors and fps in hexadecimal and removed `Value.pp_num`
 - Deprecated `Solver.get_statistics`
 
 ## v0.2.1