Skip to content

#156 Don't eliminate enums for CIF to mCRL2

Dennis Hendriks requested to merge 156-don-t-eliminate-enumerations-to-integers-for-cif-to-mcrl2 into develop
  • Don't eliminate enums for CIF to mCRL2.
  • Added CifCollectUtils.collectEnumDecls.
  • Reuse CifCollectUtils.collectEnumDecls for CIF simulator compiler.
  • Move enum representative computation from CIF simulator compiler to CIF common plugin (CifEnumUtils).

Closes #156 (closed)

Merge request reports

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