Skip to content

Snapshot 2020-03-12
Compare
Choose a tag to compare
@danielratiu danielratiu released this 12 Mar 19:37
· 1642 commits to master since this release
snapshot/v2020_03_12.1
c021bd0

Besides many bugfixes, this release contains the following improvements:

  • first integration of NuXMV
  • various improvements of the GSN base-language and extensions
  • enable modeling of interactions with Message-Sequence-Charts (MSCs)
  • vizualization of NuSMV counterexamples as MSC
  • improvements of the diagramatic editor of state-machines
  • language refactorings (with models migrations)
  • better examples in safety.tutorial

This release is based on MPS 2019.3.2

Assets 3
Loading