Joeri Exelmans
d6c05d3510
Implemented additional "arena" hierarchical priority semantics + corrected existing semantics (Source-Child semantics does no longer reverse "explicit" (document) order of transitions of equal priority). Add tests for hierarchical priority semantics.
|
5 lat temu | |
|---|---|---|
| .. | ||
| big_step_maximality | 5 lat temu | |
| event_lifeline | 5 lat temu | |
| memory_protocol | 5 lat temu | |
| priority | 5 lat temu | |