Joeri Exelmans 225a6d0c8d Implemented user-defined functions. Parameter types explicit, return types statically inferred. 5 年 前
..
day_atlee 225a6d0c8d Implemented user-defined functions. Parameter types explicit, return types statically inferred. 5 年 前
features 225a6d0c8d Implemented user-defined functions. Parameter types explicit, return types statically inferred. 5 年 前
semantics 33cf1867c5 Extend semantic option wildcard mechanism to comma-separated lists of options. Parse transition event attribute as comma-separated list of (possibly negated) events with parameters. Event parameters added to transition scope. Input port ignored when generating ID for input/internal event (need this for Day & Atlee's examples) 5 年 前
syntax 3e825ba583 Input port taken into account when assigning globally unique ID to input event. 5 年 前