From 00103687f10e377dc29f4eb36eceabbf8e2f92fc Mon Sep 17 00:00:00 2001 From: Viktor Kuncak Date: Sat, 19 Oct 2024 00:15:27 +0200 Subject: [PATCH] Release notes --- docs/RELEASE_NOTES.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/docs/RELEASE_NOTES.md b/docs/RELEASE_NOTES.md index a018bac38..3ea8252a2 100644 --- 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)