The bug that the quotations in front of expressions are ignored when evaluating is fixed.
Part of SyncStitch appearances can be customized using a setting file. Please see the reference manual.
A bug related to deadlock checking is fixed. There was a case in which assertion-violation could happen when deadlock checking was performed.
A bug related to deadlock checking is fixed.
When a process has only receiving through channels as transitions and all of the guards of the transitions are false, the process is deadlocked. However there was a case in which SyncStitch reported there is no deadlock when deadlock checks are performed for such a process. This bug is fixed.
Alphabetized Parallel composition operators 'apar' and 'xapar' are supported.
The first release