Simon Van Mierlo 0664fd0abb a trigger with no port specification is now also triggered by an external 9 年之前
..
big_step_maximality 0664fd0abb a trigger with no port specification is now also triggered by an external 9 年之前
event_lifeline 0664fd0abb a trigger with no port specification is now also triggered by an external 9 年之前
no_statechart 0664fd0abb a trigger with no port specification is now also triggered by an external 9 年之前
original_semantics 0664fd0abb a trigger with no port specification is now also triggered by an external 9 年之前
priority 0664fd0abb a trigger with no port specification is now also triggered by an external 9 年之前
timing 0664fd0abb a trigger with no port specification is now also triggered by an external 9 年之前