Skip to content

#353 CIF to mCRL2: add 'marked' action

Dennis Hendriks requested to merge 353-cif2mcrl2-add-marked-action into develop
  • Best to review per commit.
  • CIF to mCRL2 adds a 'marked' action to the mCRL2 models. This can be disabled with an option though.

Closes #353 (closed)

Merge request reports

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent