Simon Van Mierlo
d6814173f2
restructure
|
%!s(int64=9) %!d(string=hai) anos | |
|---|---|---|
| .. | ||
| big_step_maximality | %!s(int64=9) %!d(string=hai) anos | |
| event_lifeline | %!s(int64=9) %!d(string=hai) anos | |
| no_statechart | %!s(int64=9) %!d(string=hai) anos | |
| original_semantics | %!s(int64=9) %!d(string=hai) anos | |
| priority | %!s(int64=9) %!d(string=hai) anos | |
| timing | %!s(int64=9) %!d(string=hai) anos | |