| .. |
|
fail_race_condition.xml
|
80d532b9a3
Simpler handling of tests expected to fail. Added race condition test.
|
5 anos atrás |
|
statechart_enabledness.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 anos atrás |
|
statechart_enabledness.xml
|
45c38688c2
Implemented Enabledness Memory Protocol semantic options.
|
5 anos atrás |
|
test_gcbig.xml
|
439bbee01d
Implemented Assignment Memory Protocol semantic options.
|
5 anos atrás |
|
test_gccombo.xml
|
439bbee01d
Implemented Assignment Memory Protocol semantic options.
|
5 anos atrás |
|
test_gcsmall.xml
|
439bbee01d
Implemented Assignment Memory Protocol semantic options.
|
5 anos atrás |
Joeri Exelmans
0e4e6fdd0d
Begin adding examples from Day & Atlee paper. Clearer error when <state> initial attribute is invalid. SVG renderer: workaround for order of orthogonal components.
