SysIDE Pro 0.6.4

Changelogs
1

Released on August 22nd, 2025.

This version’s documentation.

Modeler

This release includes only changes to the Automator.

Automator

:rocket: Features

  • (diagnostics) Improve diagnostics for missing implicit supertypes
  • (model) Add option to print references in S-expressions
  • (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