Fixing sequence and parallel composition (!42) · Merge requests · SoSy-Lab / Software / CoVeriTeam · GitLab

Tobias Kleinert requested to merge 79-fix-parallel-composition into main Mar 31, 2022

Closes #79 (closed), #89 (closed), #81 (closed)

Changes:

Fixes type check in Parallel
Allows arbitrary amount of actors in Sequence and Parallel
Allows real parallel execution in Parallel

Edited Apr 02, 2022 by Tobias Kleinert