nightly

This is the latest nightly release built from the latest commit on the main branch.

v2.0.8

This is a minor bugfix release for Caesar v2.0.0. See our release announcement on our blog.

New features:

• Caesar Verifier Visual Studio Code Extension
• Slicing for Error Reporting and Correctness
• Calculus Annotations for Proof Rules
• Model Checking Support via JANI

v2.0.7

This is a minor bugfix release for Caesar v2.0.0. See our release announcement on our blog.

New features:

• Caesar Verifier Visual Studio Code Extension
• Slicing for Error Reporting and Correctness
• Calculus Annotations for Proof Rules
• Model Checking Support via JANI

v2.0.6

This is a minor bugfix release for Caesar v2.0.0. See our release announcement on our blog.

New features:

• Caesar Verifier Visual Studio Code Extension
• Slicing for Error Reporting and Correctness
• Calculus Annotations for Proof Rules
• Model Checking Support via JANI

v2.0.5

This is a minor bugfix release for Caesar v2.0.0. See our release announcement on our blog.

New features:

• Caesar Verifier Visual Studio Code Extension
• Slicing for Error Reporting and Correctness
• Calculus Annotations for Proof Rules
• Model Checking Support via JANI

v2.0.4

This is a minor bugfix release for Caesar v2.0.0. See our release announcement on our blog.

New features:

• Caesar Verifier Visual Studio Code Extension
• Slicing for Error Reporting and Correctness
• Calculus Annotations for Proof Rules
• Model Checking Support via JANI

v2.0.0

See our release announcement on our blog.

New features:

• Caesar Verifier Visual Studio Code Extension
• Slicing for Error Reporting and Correctness
• Calculus Annotations for Proof Rules
• Model Checking Support via JANI

Caesar 1.0.0

The first release of Caesar corresponding to our OOPSLA 2023 paper, A Deductive Verification Infrastructure for Probabilistic Programs.

With minor modifications, this release was evaluated by the OOPSLA 2023 Artifact Evaluation Committee and marked as available, functional, and reusable. You can find the original submitted Docker image on Zenodo.