We're excited to announce that we've released Prover version 8.3.0! This update aims to enhance your user experience and address some minor bugs reported by our users.

Here's a quick rundown of what you can expect:

Imprecision Reporting in Rule Reports

The Prover now highlights imprecisions directly in the Rule Report. They appear as rule notifications and are labeled as IMPRECISION entries in the Call Trace, making them easier to spot and investigate.

These cases typically reflect intentional overapproximations, which are safe simplifications the Prover uses to guarantee soundness. You can learn more about this reasoning approach in our docs on approximations.

Dispatch Lists for Wildcard Summaries

Wildcard summaries (_.foo) can now use dispatch lists to specify exactly which contracts should handle a call. This gives you more control over unresolved calls, clarifying specs, and reducing noise from irrelevant implementations.

• Docs
• Example

Access these updates by ensuring your software is up-to-date with the latest version. To upgrade to v8.3.0, simply run pip install --upgrade certora-cli.

As always, we welcome and appreciate your feedback.

Thank you for choosing Certora!

Release notes