SysIDE Pro 0.7.1

Changelogs
1

Released on August 23rd, 2025.

This version’s documentation.

Modeler

:rocket: Features

  • (diagnostics) Improve diagnostics for missing implicit supertypes
  • (crash-handler) Add instructions on crash reporting, repeat crash messages to stderr

:bug: Bugfixes

  • (crash-handler) Only print the first crash trace when crash happens in multiple threads
  • (pipeline) Fix crash attempting to parse documents without sources, skip ast phase in such cases
  • (printer) Fix error when printing guarded transitions with implicitly constructed sources
  • (sema) Fix TransitionUsage accepter payload sometimes used before being resolved resulting in unresolved references
  • (sema) Fix that redefining some chained features triggered name distinguishability validation
  • (printer) Fix that transitions without explicit source were not indented after branching control nodes (reported in this forum post)
  • (validation) Fix Association and Connector related types validation triggering if end Features were inherited indirectly
  • (sema) Fix reference error when referencing a Feature with an effective name that also owns the expression tree
  • (lsp) Ignore gitlens documents from commit diffs in VS Code for workspace symbols and validation

Automator

Bumps the version number to go back in sync with SysIDE Modeler. This fixes the issue of version switcher mismatch in SysIDE documentation (as reported in this forum post).