#226 CIF to mCRL2 transformation: support 'tau' events (!1022) · Merge requests · Eclipse Projects / Eclipse ESCET (Supervisory Control Engineering Toolkit) / escet · GitLab

Dennis Hendriks requested to merge 226-cif-to-mcrl2-transformation-should-support-tau-actions into develop Aug 06, 2024

Closes #226 (closed)

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