Skip to content

#1220 CIF to mCRL2: support state/event exclusion invariants

Dennis Hendriks requested to merge 1220-cif2mcrl2-support-invariants into develop
  • Best to review per commit.
  • End-user visible changes:
    • CIF to mCRL2 now supports state/event exclusion invariants.
  • Other changes:
    • CifToMcrl2Transformer: fixed a comment.

Addresses #1220 (closed)

Merge request reports

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