Skip to content

#950 CIF to mCRL2: simplify and fix 'delta' for empty process.

Dennis Hendriks requested to merge 950-cif-to-mcrl2-don-t-generate-empty-process into develop
  • Best to review per commit.

Closes #950 (closed)

Merge request reports

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