Certora Prover Documentation Logo

Contents

  • Certora User’s Guide
  • The Certora Verification Language
  • The Certora Prover
    • Introduction
    • Installation
    • Prover Approximations
    • Techniques Used by the Certora Prover
    • Diagnostic Tools
    • Checking Specifications
    • Certora Prover CLI
    • Using the Certora Portal
    • Changelogs
      • Prover Release Notes
      • GUI Release Notes
  • Sunbeam: Verification for Soroban
  • The Certora Solana Prover
  • Gambit: Mutation Generator for Solidity

Additional information

  • The Certora Equivalence Checker
  • Certora Technology White Paper
  • Index
Certora Prover Documentation
  • The Certora Prover
  • Changelogs
  • View page source

Changelogs

Contents

  • Prover Release Notes
    • 7.28.0 (April 10, 2025)
    • 7.26.0 (Mar 13, 2025)
    • 7.25.2 (Feb 19, 2025)
    • 7.22.2 (Jan 12, 2025)
    • 7.21.1 (December 12, 2024)
    • 7.20.1 (November 20, 2024)
    • 7.17.2 (October 8, 2024)
    • 7.14.2 (September 2, 2024)
    • 7.10.1 (July 25, 2024)
    • 7.6.3 (May 15, 2024)
    • 7.3.0 (April 11, 2024)
    • 7.0.7 (March 15, 2024)
    • 6.3.1 (February 2, 2024)
    • 6.1.3 (January 11, 2024)
    • 5.0.5 (November 21, 2023)
    • 4.13.1 (September 26, 2023)
    • 4.12.1 (September 17, 2023)
    • 4.10.1 (August 21, 2023)
    • 4.8.0 (August 13, 2023)
    • 4.5.1 (July 15, 2023)
    • 4.3.1 (July 2, 2023)
    • 4.0.5 (June 7, 2023) CVL 2
  • GUI Release Notes
    • 4.3.0 (Apr 10, 2025)
    • 4.0.2 (Mar 13, 2025)
    • 4.0.0 (Feb 19, 2025)
    • 3.1.1 (Jan 12, 2025)
    • 3.0.2 (Nov 18, 2024)
    • 2.4.4 (Nov 6, 2024)
    • 2.4.1 (Oct 6, 2024)
    • 2.3.2 (Sep 2, 2024)
    • 2.2.0 (Jul 24, 2024)
    • 2.1.6 (Jul 8, 2024)
    • 2.0.1 (May 15, 2024)
    • 1.0.0 (Apr 11, 2024)
    • 0.8.0 (Mar 11, 2024)
    • 0.7.0 (Feb 12, 2024)
    • 0.6.0 (Jan 31, 2024)
    • 0.5.7 (Nov 26, 2023)
    • 0.5.62 (Feb 11, 2024)
    • 0.5.6 (October 24, 2023)
Previous Next

© Copyright 2025, Certora, Inc.

Built with Sphinx using a theme provided by Read the Docs.