Syntesized supervisor contains deadlock about stslib HOT 7 CLOSED

I'll look into this on Thursday night.

from stslib.

Note that all events are controllable in your spec file, which is not supported by current software.

Also mentioned in my thesis (or monograph) Chapter 4.1, this type of spec requires that all events must be uncontrollable. However, disabling controllable events in spec can be handled by some simple tricks. I'll try to squeeze some time to work on it.

from stslib.

I just created a new branch 'new_type2_spec' to also allow controllable events to be put in the type 2 spec. I'd appreciate that you may try it and report any bug. Thanks!

from stslib.

I have tested the new branch. It generates output as expected. Thanks for adding this functionality.

from stslib.

Thanks for the feedback. I'll merge it back to the master branch in a few weeks, when I am sure there are no bugs.

from stslib.

It appears this issue could now be closed, as the new_type2_spec branch was merged into the master.

from stslib.

Closing old issue, which was apparently merged to master.

from stslib.