Skip to content

version 1.12

Choose a tag to compare

View all tags
@NikitaSkoblov NikitaSkoblov released this 08 Apr 14:22
· 155 commits to master since this release
v1.12.1
031594b

BMA 1.12.0011

This release focuses on bug fixes and minor user interface updates.

New features

  • Reintroduced the ability to create LTL states from the proof analysis and refined table headers
  • Allowed users to view proof results through the connections context menu
  • Changed the constellations rendering to better distinguish cluster links from model edges

Bugfixes

  • Fixed a minor LTL animation rendering bug
Assets 3
Loading