Skip to content

Event-B Animate v6.2

Choose a tag to compare

View all tags
@github-actions github-actions released this 21 Jul 06:21
· 64 commits to main since this release
v6.2
f2155d7

[6.2] - 2026-07-21

Features

  • Expose built-in check completion and statistics
  • Classify LTL check completion
  • Classify symbolic check completion
  • Classify LTSmin check completion

Bug Fixes

  • Bound and reap external checks
  • Normalize search counters after preflight

Documentation

  • Publish and validate the v3 contract

Build

  • Verify shaded service providers

CI/CD

  • Verify and publish release artifacts
Assets 8
Loading