Releases: moves-rwth/caesar
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
@unrollproof 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)
nightly
This is the latest nightly release built from the latest commit on the main branch.
v2.2.0
This is a major release of Caesar. See our release announcement on our blog.
Overview:
v2.1.2
This is a small bugfix release of Caesar 2.1.0. See our release announcement on our blog.
Overview:
v2.1.1
This is a small bugfix release of Caesar 2.1.0. See our release announcement on our blog.
Overview:
v2.1.0
This is a major release of Caesar. See our release announcement on our blog.
Overview:
v2.0.8
This is a minor bugfix release for Caesar v2.0.0. See our release announcement on our blog.
New features:
v2.0.7
This is a minor bugfix release for Caesar v2.0.0. See our release announcement on our blog.
New features:
v2.0.6
This is a minor bugfix release for Caesar v2.0.0. See our release announcement on our blog.
New features:
v2.0.5
This is a minor bugfix release for Caesar v2.0.0. See our release announcement on our blog.
New features: