nightly

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

What's Changed

• fix: correct information on status bar upon errors by @umutdural in #88
• Qelim fixes by @Philipp15b in #106

Full Changelog: v3.0.0...nightly

What's Changed

• fix: correct information on status bar upon errors by @umutdural in #88
• Qelim fixes by @Philipp15b in #106

Full Changelog: v3.0.0...nightly

What's Changed

• fix: correct information on status bar upon errors by @umutdural in #88
• Qelim fixes by @Philipp15b in #106

Full Changelog: v3.0.0...nightly

What's Changed

• fix: correct information on status bar upon errors by @umutdural in #88
• Qelim fixes by @Philipp15b in #106

Full Changelog: v3.0.0...nightly

What's Changed

• fix: correct information on status bar upon errors by @umutdural in #88
• Qelim fixes by @Philipp15b in #106

Full Changelog: v3.0.0...nightly

What's Changed

• fix: correct information on status bar upon errors by @umutdural in #88
• Qelim fixes by @Philipp15b in #106

Full Changelog: v3.0.0...nightly

What's Changed

• fix: correct information on status bar upon errors by @umutdural in #88
• Qelim fixes by @Philipp15b in #106

Full Changelog: v3.0.0...nightly

What's Changed

• fix: correct information on status bar upon errors by @umutdural in #88
• Qelim fixes by @Philipp15b in #106

Full Changelog: v3.0.0...nightly

What's Changed

• fix: correct information on status bar upon errors by @umutdural in #88
• Qelim fixes by @Philipp15b in #106

Full Changelog: v3.0.0...nightly

What's Changed

• fix: correct information on status bar upon errors by @umutdural in #88
• Qelim fixes by @Philipp15b in #106

Full Changelog: v3.0.0...nightly

What's Changed

• fix: correct information on status bar upon errors by @umutdural in #88
• Qelim fixes by @Philipp15b in #106

Full Changelog: v3.0.0...nightly

What's Changed

• fix: correct information on status bar upon errors by @umutdural in #88
• Qelim fixes by @Philipp15b in #106

Full Changelog: v3.0.0...nightly

What's Changed

• fix: correct information on status bar upon errors by @umutdural in #88
• Qelim fixes by @Philipp15b in #106

Full Changelog: v3.0.0...nightly

What's Changed

• fix: correct information on status bar upon errors by @umutdural in #88
• Qelim fixes by @Philipp15b in #106

Full Changelog: v3.0.0...nightly

What's Changed

• fix: correct information on status bar upon errors by @umutdural in #88
• Qelim fixes by @Philipp15b in #106

Full Changelog: v3.0.0...nightly

What's Changed

• fix: correct information on status bar upon errors by @umutdural in #88
• Qelim fixes by @Philipp15b in #106

Full Changelog: v3.0.0...nightly

What's Changed

• fix: correct information on status bar upon errors by @umutdural in #88
• Qelim fixes by @Philipp15b in #106

Full Changelog: v3.0.0...nightly

What's Changed

• fix: correct information on status bar upon errors by @umutdural in #88
• Qelim fixes by @Philipp15b in #106
• annotations: fix shadowing issue by @umutdural in #107

Full Changelog: v3.0.0...nightly

What's Changed

• fix: correct information on status bar upon errors by @umutdural in #88
• Qelim fixes by @Philipp15b in #106
• annotations: fix shadowing issue by @umutdural in #107
• Soundness checking by @Philipp15b in #113
• Add statements for weighted programming by @Philipp15b in #114

Full Changelog: v3.0.0...nightly

What's Changed

• fix: correct information on status bar upon errors by @umutdural in #88
• Qelim fixes by @Philipp15b in #106
• annotations: fix shadowing issue by @umutdural in #107
• Soundness checking by @Philipp15b in #113
• Add statements for weighted programming by @Philipp15b in #114

Full Changelog: v3.0.0...nightly

What's Changed

• fix: correct information on status bar upon errors by @umutdural in #88
• Qelim fixes by @Philipp15b in #106
• annotations: fix shadowing issue by @umutdural in #107
• Soundness checking by @Philipp15b in #113
• Add statements for weighted programming by @Philipp15b in #114
• parser: expression parsing changes + migration-safety diagnostics by @Philipp15b in #115

Full Changelog: v3.0.0...nightly

What's Changed

• Build updates by @Philipp15b in #116

Full Changelog: v4.0.0...nightly

What's Changed

• Build updates by @Philipp15b in #116

Full Changelog: v4.0.0...nightly

What's Changed

• Build updates by @Philipp15b in #116

Full Changelog: v4.0.0...nightly

What's Changed

• Build updates by @Philipp15b in #116

Full Changelog: v4.0.0...nightly

What's Changed

• Build updates by @Philipp15b in #116

Full Changelog: v4.0.0...nightly

What's Changed

• Build updates by @Philipp15b in #116

Full Changelog: v4.0.0...nightly

What's Changed

• Build updates by @Philipp15b in #116

Full Changelog: v4.0.0...nightly

v4.0.0

Caesar 4.0 improves expression parsing, adds explicit soundness guarantees for refutations in CLI/LSP feedback, introduces new weigh and additive choice (if +) statements, and experimental entailment checking.

Breaking Change:

Expression parsing precedence and associativity changed in Caesar 4.0. Some expressions now parse differently, and Caesar may reject previously accepted expressions until you add explicit parentheses. See Expression Parsing Changes below.

In this release:

1. Expression Parsing Changes
2. Soundness Checks and Better Diagnostics
3. New HeyVL Statements: weigh and Additive Choice
4. Experimental Entailment Checking
5. Other Improvements

v3.0.0

Caesar 3.0 improves the SMT reasoning capabilities of Caesar, making verification more powerful, stable, and predictable.

Overview:

1. Limited Functions
2. Other SMT-related Improvements
3. Other Improvements

v2.2.1

This is a minor release of Caesar 2.2. See the Caesar 2.2.0 release announcement on our blog. In 2.2.1, we made the following changes:

• Fixed verification condition explanations for the @unroll proof rule
• Added some simple algebraic simplifications to the verification condition explanations
• Rewritten some proof rule documentation pages
• Fixed "unknown" icons showing up in wrong places in the VSCode UI when using domains (PR #87)

v2.2.0

This is a major release of Caesar. See our release announcement on our blog.

Overview:

1. UI Improvements
2. Guardrail Against Unsound Recursion
3. Better Model Checking Support
4. AST Rule Improvements
5. Other Changes

v2.1.2

This is a small bugfix release of Caesar 2.1.0. See our release announcement on our blog.

Overview:

• UI and Documentation Improvements
• More Guardrails
• Slicing Improvements
• Minor Fixes

v2.1.1

This is a small bugfix release of Caesar 2.1.0. See our release announcement on our blog.

Overview:

• UI and Documentation Improvements
• More Guardrails
• Slicing Improvements
• Minor Fixes

v2.1.0

This is a major release of Caesar. See our release announcement on our blog.

Overview:

• UI and Documentation Improvements
• More Guardrails
• Slicing Improvements
• Minor Fixes

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