| .. |
|
fail_02_counter_takemany.xml
|
ea2e32768e
Added another example from Day & Atlee. Test nonterminating big step by setting limit on subrounds in superround.
|
5 年之前 |
|
statechart_fig1_redialer.svg
|
308cd610ad
Implemented 'Syntactic' big step maximality option (not yet fully tested)
|
5 年之前 |
|
statechart_fig1_redialer.xml
|
225a6d0c8d
Implemented user-defined functions. Parameter types explicit, return types statically inferred.
|
5 年之前 |
|
statechart_fig7_dialer.svg
|
308cd610ad
Implemented 'Syntactic' big step maximality option (not yet fully tested)
|
5 年之前 |
|
statechart_fig7_dialer.xml
|
0e4e6fdd0d
Begin adding examples from Day & Atlee paper. Clearer error when <state> initial attribute is invalid. SVG renderer: workaround for order of orthogonal components.
|
5 年之前 |
|
statechart_fig8_counter.svg
|
0e4e6fdd0d
Begin adding examples from Day & Atlee paper. Clearer error when <state> initial attribute is invalid. SVG renderer: workaround for order of orthogonal components.
|
5 年之前 |
|
statechart_fig8_counter.xml
|
ea2e32768e
Added another example from Day & Atlee. Test nonterminating big step by setting limit on subrounds in superround.
|
5 年之前 |
|
test_01_dialer_takemany.xml
|
0e4e6fdd0d
Begin adding examples from Day & Atlee paper. Clearer error when <state> initial attribute is invalid. SVG renderer: workaround for order of orthogonal components.
|
5 年之前 |
|
test_01_dialer_takeone.xml
|
0e4e6fdd0d
Begin adding examples from Day & Atlee paper. Clearer error when <state> initial attribute is invalid. SVG renderer: workaround for order of orthogonal components.
|
5 年之前 |
|
test_02_counter_takeone.xml
|
ea2e32768e
Added another example from Day & Atlee. Test nonterminating big step by setting limit on subrounds in superround.
|
5 年之前 |
|
test_06_counter_lifeline.xml
|
84e26cc27f
Add example from Day & Atlee
|
5 年之前 |
|
test_07_redialer_same.xml
|
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 年之前 |
Joeri Exelmans
308cd610ad
Implemented 'Syntactic' big step maximality option (not yet fully tested)
