New Release: Verification (and then some)
A new release is always a reason to celebrate, but this time we have some big news:
Big Deals
Verification run mode users can now directly verify model properties (both liveness and safety!). Verification results are presented in human- and agent-readable forms.
Upgraded JS engine, now supporting arrow functions and more modern JavaScript features.
CLI command automation and hook scripts run through native platform shell
Documentation improvments and clarifications
Improved AI support: Added AGENTS.md file to new projects, removed old AI guidance files that just confuse modern GenAI tools.
By user demand - REST payloads are automatically converted to JSON when passed a JavaScript object.
Note that the new release is BASED ON JAVA 25 (the current LTS) - Please update dependencies where needed
Somewhat smaller deals, but still cool
More robust:
auto-scrolling to component before validating invisibility (when possible to scroll).
PDF generation
Selenium visualizations
REST sessions
Improved visualizations, especially of the Ctrl library
Updated components and dependencies
Get yours at our Downloads Page, or via brew (On Mac OS).
Comments