| .. |
|
test_composite_shallow.svg
|
d842777e40
Fixed bug in history values implementation. Added test that would fail before the fix.
|
5 роки тому |
|
test_composite_shallow.xml
|
d842777e40
Fixed bug in history values implementation. Added test that would fail before the fix.
|
5 роки тому |
|
test_deep.svg
|
d842777e40
Fixed bug in history values implementation. Added test that would fail before the fix.
|
5 роки тому |
|
test_deep.xml
|
490196c118
Add script that checks if "semantic oracle" statechart correctly infers semantics under all circumstances. Small 'refactor' to how combo-step maximality option is represented in abstract syntax (now the same as big-step maximality).
|
5 роки тому |
|
test_default.svg
|
d842777e40
Fixed bug in history values implementation. Added test that would fail before the fix.
|
5 роки тому |
|
test_default.xml
|
d842777e40
Fixed bug in history values implementation. Added test that would fail before the fix.
|
5 роки тому |
|
test_parallel_deep.svg
|
d842777e40
Fixed bug in history values implementation. Added test that would fail before the fix.
|
5 роки тому |
|
test_parallel_deep.xml
|
d842777e40
Fixed bug in history values implementation. Added test that would fail before the fix.
|
5 роки тому |
|
test_shallow.svg
|
d842777e40
Fixed bug in history values implementation. Added test that would fail before the fix.
|
5 роки тому |
|
test_shallow.xml
|
d842777e40
Fixed bug in history values implementation. Added test that would fail before the fix.
|
5 роки тому |
Joeri Exelmans
490196c118
Add script that checks if "semantic oracle" statechart correctly infers semantics under all circumstances. Small 'refactor' to how combo-step maximality option is represented in abstract syntax (now the same as big-step maximality).
