• 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