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 9 tahun lalu
..
big_step_maximality d6814173f2 restructure 9 tahun lalu
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 9 tahun lalu
no_statechart d6814173f2 restructure 9 tahun lalu
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 9 tahun lalu
priority d6814173f2 restructure 9 tahun lalu
timing d6814173f2 restructure 9 tahun lalu