Skip to content

#1220 CIF to mCRL2: Use summations in case of multiple initial states, to support any number of initial states

Dennis Hendriks requested to merge 1220-cif2mcrl2-init-with-sum into develop
  • Best to review per commit.
  • End-user visible changes:
    • CIF to mCRL2 no longer has a precondition about the maximum number of initial states.

Addresses #1220 (closed)

Merge request reports

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