Community
Participate
Working Groups
Updated support: Current support assumes that calls to protected resources made by a given task X are made just after the call activating task X itself, so e.g.: message n°1:task1 activation message n°2..x: list of protected resources used by task1 message n°x+1: activation of task2 message n°x+2..y: list of protected resources used by task2 etc see https://git.polarsys.org/c/chess/chess.git/commit/?h=develop&id=8baad4778614b5ee7a5ff59b4e413473dea67a73
This bug has been moved to GitLab: https://gitlab.eclipse.org/eclipse/chess/chess