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

Dennis Hendriksrequested 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 AISBL. All rights reserved.     Privacy Policy | Terms of Use | Copyright Agent