The tests in the thesis of Jan showed that there were some misunderstandings of the usage of semaphore and bolt operations a sequential REQUEST on the same semaphore may be useful. Thus sequential operations on different semaphores or bolts without other operations in between should be combined for code simplification. This is ok for the locking operations. The unlocking operations may affect starvation situations, if the operations are not executed without interruption. RESERVE, FREE, ENTER, LEAVE...
remove Exception classes from the compiler
2026-01-09: Decision The dynamic deadlock detection becomes removed from the code base. A tag beforeDynamicDeadlockDetectionRemoval will be set
Open Issues in Compiler
open issues are now in separate tickets.
add a Semantic Check for constant expressions in Array Indices
Open Issues in Compiler
Support assignement rules in READ/WRITE and correct transfer of STRUCTs