Update CHANGES.md

formalsec · Mar 5, 2025 · 9fa335d · 9fa335d
1 parent 6eee0f5
commit 9fa335d
Showing 1 changed file with 7 additions and 3 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,16 +1,20 @@
 ## Unreleased
 
 ### Added
+### Changed
+### Fixed
 
-- Add Bitvector library
+## v0.6.0
+
+### Added
+
+- Add `get_sat_model` function to fetch models from path conditions
 - Add `cache_hits` and `cache_misses` functions to cached solver
 - Add `Expr.Set.hash` as an alias to `Expr.Set.to_int`
 - optimize Expr.equal, cache Expr.simplify (@zapashcanon)
 - Add floating-point operator `Copysign` (Closes #185)
 - Add sign extension to operators with unsigned counter parts (Closes #207)
 
-### Changed
-
 ### Fixed
 
 - Bring back forall and exists quantifiers (Closes #200)