| .. |
|
big_step_maximality
|
d6814173f2
restructure
|
%!s(int64=9) %!d(string=hai) anos |
|
event_lifeline
|
cd3531d69f
changed so that narrow cast events are sent to a specific private port. somehow works for javascript although nothing was changed, otherwise we get exceptions on an undefined controller variable
|
%!s(int64=9) %!d(string=hai) anos |
|
no_statechart
|
d6814173f2
restructure
|
%!s(int64=9) %!d(string=hai) anos |
|
original_semantics
|
46113778d9
associate_instance and disassociate_instance now fixed
|
%!s(int64=8) %!d(string=hai) anos |
|
priority
|
d6814173f2
restructure
|
%!s(int64=9) %!d(string=hai) anos |
|
timing
|
d6814173f2
restructure
|
%!s(int64=9) %!d(string=hai) anos |
Simon Van Mierlo
46113778d9
associate_instance and disassociate_instance now fixed