Resolve "Modify State Machine to SMV translation, to support old_smv_format as optional" (!34) · Merge requests · Eclipse Projects / Eclipse CHESS / chess · GitLab

Alberto Debiasi requested to merge 123-modify-state-machine-to-smv-translation-to-support-old_smv_format-as-optional-2 into devel Sep 08, 2022

Closes #123 (closed)

Edited Sep 15, 2022 by Alberto Debiasi

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