Skip to content

Snapshot 2020-07-28

Pre-release
Pre-release
Compare
Choose a tag to compare
@danielratiu danielratiu released this 28 Jul 20:35
· 1302 commits to master since this release
snapshot/v2020_07_28
2003213

This release is based on MPS 2020.1.2 and brings many small improvements accross different DSLs.

  • improvements of STPA language (enable multiple UCAs for an action, add names to UCAs to be referenceable e.g. from requirements)
  • improvements of GSN languages (reworked the implementation of AwayGoals, fixes in the textual projection & diagramatic editor)
  • improvements of the Spin integration (enhanced the subset of Promela that we cover)
  • enable the possibility to attach attributes to requirements (traces to UCA from STPA)
  • enable the possibility to attach attributes to components of architecture (traces to requirements)
  • improved the sequence-diagrams DSL
Assets 3
Loading