New
Stainless 0.9.8.9 (2024-10-19)
- Default cache now only stores SHA-256 hash of formulas ( -binary-cache=true for old version) #1593, #1591 fixes https://github.com/epfl-lara/stainless/issues/1576
- 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
--compactalso 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