#1220 CIF to mCRL2: support arbitrary initialization predicates in locations. (!1330) · Merge requests · Eclipse Projects / Eclipse ESCET (Supervisory Control Engineering Toolkit) / escet · GitLab

As a result of abusive and unreasonable anonymous traffic patterns, we're now requiring authentication to access some GitLab pages and content. We will investigate further to determine if these changes are permanent or temporary.

We apologize for the inconvenience caused.

Dennis Hendriks requested to merge 1220-cif2mcrl2-support-aut-loc-any-init into develop Jun 16, 2025

Best to review per commit.
End-user visible changes:
- The CIF to mCRL2 transformer now supports arbitrary initialization predicates in locations.

Addresses #1220 (closed)

Copyright © Eclipse Foundation AISBL. All rights reserved. Privacy Policy | Terms of Use | Copyright Agent