Certora Prover Documentation
latest

Contents

  • Certora Technology White Paper
  • Certora User’s Guide
  • The Certora Verification Language
  • The Certora Prover
    • Introduction
    • Installation
    • Prover Approximations
    • Techniques Used by Certora Prover
    • Control Flow Splitting
    • Storage and Memory Analysis
    • Diagnostic Tools
    • Checking Specifications
    • Certora Prover CLI
    • Using the Certora Portal
    • Changelog
      • Prover Release Notes
      • Rules Report Release Notes
    • New Certora dashboard login
  • Gambit: Mutation Generator for Solidity
  • Equivalence Checking Using the Certora Prover
  • Old Documentation
Certora Prover Documentation
  • »
  • The Certora Prover »
  • Changelog
  • Edit on GitHub

Changelog

Contents

  • Prover Release Notes
    • 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
  • Rules Report Release Notes
    • 0.5.6 (October 24, 2023)
Previous Next

© Copyright 2022, Certora, Inc. Revision 04139c5a.

Built with Sphinx using a theme provided by Read the Docs.
Read the Docs v: latest
Versions
latest
cvl1
Downloads
On Read the Docs
Project Home
Builds