Update CHANGES.md

formalsec · Feb 28, 2025 · bd4b406 · bd4b406
1 parent 18d418a
commit bd4b406
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -2,6 +2,7 @@
 
 ### Added
 
+- Add `cache_hits` and `cache_misses` functions to cached solver
 - Add `Expr.Set.hash` as an alias to `Expr.Set.to_int`
 
 ### Fixed