Skip to content

#1220 CIF to mCRL2: support arbitrary initialization predicates in locations.

Dennis Hendriks requested to merge 1220-cif2mcrl2-support-aut-loc-any-init into develop
  • Best to review per commit.
  • End-user visible changes:
    • The CIF to mCRL2 transformer now supports arbitrary initialization predicates in locations.

Addresses #1220 (closed)

Merge request reports

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