| .. |
|
fail_static_types.xml
|
431c30a80c
Tests beginning with "fail_" instead of "test_" should give an error when loading. Add some tests of illegal situations.
|
5 年之前 |
|
test_cond.xml
|
8870590d16
Greatest common divisor is calculated for all durations in a model, serving as the "model delta", the smallest amount of time that can be simulated. "After" transitions always have units.
|
5 年之前 |
|
test_guard_action.svg
|
3618939825
Add 'duration' literal to action language + DurationLiteral expression type to statecharts syntax. Begin implementation of static type checker for expressions.
|
5 年之前 |
|
test_guard_action.xml
|
431c30a80c
Tests beginning with "fail_" instead of "test_" should give an error when loading. Add some tests of illegal situations.
|
5 年之前 |
Joeri Exelmans
8870590d16
Greatest common divisor is calculated for all durations in a model, serving as the "model delta", the smallest amount of time that can be simulated. "After" transitions always have units.
