Update CHANGES.md

formalsec · Jul 2, 2024 · 4210c9d · 4210c9d
1 parent d1668db
commit 4210c9d
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,9 +1,16 @@
 ## Unreleased
 
 ### Added
+
+- Add `Model.to_json` function
+- Add `Solver.get_statistics` function
+
 ### Fixed
 ### Changed
 
+- Print bitvectors and fps in hexadecimal
+- Deprecated `Solver.get_statistics`
+
 ## v0.2.1
 
 ### Fixed