Certora Prover Version 8.1.0 introduces breaking changes including minimum Java 19 and Python 3.9 requirements, default sanity checks, updated requireInvariant semantics, and dedicated commands for Solana and Soroban verifications. New features include CVL formatter, re-routing summaries, transient storage hooks, and Foundry remappings support. Users must review specs and workflows before upgrading.
The Certora Prover 8.1.0 release features several breaking changes: Java minimum version raised to 19, Python to 3.9, sanity checks now run by default including invariant base cases, requireInvariant semantics fixed for soundness, Solana/Soroban require dedicated CLI commands instead of certoraRun, default report links are private, CVL functions support explicit reverts, and deprecated CLI options removed. New updates encompass a CVL specification formatter tool and VSCode extension, re-routing summaries for internal functions, hooks for transient storage fields, and automatic Foundry remappings support. These changes aim to enhance soundness and usability but may require spec and workflow adjustments. Upgrade via `pip install --upgrade certora-cli`.
