Simon Van Mierlo 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 před 9 roky
..
big_step_maximality d6814173f2 restructure před 9 roky
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 před 9 roky
no_statechart d6814173f2 restructure před 9 roky
original_semantics 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 před 9 roky
priority d6814173f2 restructure před 9 roky
timing d6814173f2 restructure před 9 roky