| .. |
|
big_step_maximality
|
3b1dc3aea2
A <slot> element in a test contains set of output events of a nonempty big step.
|
5 роки тому |
|
event_lifeline
|
3b1dc3aea2
A <slot> element in a test contains set of output events of a nonempty big step.
|
5 роки тому |
|
no_statechart
|
e92f44ba01
Rename python src dirs to match installed names (can set to 'src' dir so you don't have to re-install after every change). Updated SCCD schema to accept all existing tests. Added XML namespace to tests. Compiler checks input file against SCCD schema. New compiler dependency 'lxml' (largely compatible with xml.etree) for dealing with XML namespaces and schemas.
|
5 роки тому |
|
original_semantics
|
3b1dc3aea2
A <slot> element in a test contains set of output events of a nonempty big step.
|
5 роки тому |
|
priority
|
e92f44ba01
Rename python src dirs to match installed names (can set to 'src' dir so you don't have to re-install after every change). Updated SCCD schema to accept all existing tests. Added XML namespace to tests. Compiler checks input file against SCCD schema. New compiler dependency 'lxml' (largely compatible with xml.etree) for dealing with XML namespaces and schemas.
|
5 роки тому |
|
timing
|
e92f44ba01
Rename python src dirs to match installed names (can set to 'src' dir so you don't have to re-install after every change). Updated SCCD schema to accept all existing tests. Added XML namespace to tests. Compiler checks input file against SCCD schema. New compiler dependency 'lxml' (largely compatible with xml.etree) for dealing with XML namespaces and schemas.
|
5 роки тому |
Joeri Exelmans
3b1dc3aea2
A <slot> element in a test contains set of output events of a nonempty big step.