Skip to content

v2.2.1

Choose a tag to compare

View all tags
@github-actions github-actions released this 29 May 18:38
· 268 commits to main since this release
v2.2.1
40cb83c

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)
Assets 7
Loading