Release notes

epfl-lara · Oct 18, 2024 · 0010368 · 0010368
1 parent 54422d1
commit 0010368
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/docs/RELEASE_NOTES.md b/docs/RELEASE_NOTES.md
@@ -1,13 +1,15 @@
 # Release Notes
 
-## Version 0.9.8.8.7 (2024-09-15)
+## Version 0.9.8.9 (2024-10-19)
 
+- Default cache now only stores SHA-256 hash of formulas ( -binary-cache=true for old version)
 - Scala version is now 3.5.0
 - Inox now has a solver for ground assertions based on internal evaluator (Inox #218), called `eval`
 - Opaque Forall and ensures: help higher order contracts (#1567)
 - Option `--compact` also reduces progress messages (#1573)
 - Changed CI to use GitHub actions
 - Documented a limited use of `throw`
+- CI scripts as part of move to GitHub actions
 
 ## Version 0.9.8.8 (2024-08-22)