3 posts tagged with "releases"

The Caesar 2.2 is an incremental release that adds various improvements to existing features and fixes some bugs.

Overview:

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

The Caesar 2.1 release adds contains various improvements to existing features and fixes some bugs.

Overview:

1. UI and Documentation Improvements
2. More Guardrails
3. Slicing Improvements
4. Minor Fixes

We are happy to announce Caesar 2.0: the next release of Caesar packed with a lot of new features.

Overview:

1. Caesar Verifier Visual Studio Code Extension
2. Slicing for Error Reporting and Correctness
3. Calculus Annotations for Proof Rules
4. Model Checking Support via JANI