| .. |
|
__init__.py
|
3148ee5da3
Fixed errors reported by mypy type checker + parallelism (worker pool) in render script.
|
5 lat temu |
|
os_tools.py
|
45c38688c2
Implemented Enabledness Memory Protocol semantic options.
|
5 lat temu |
|
test.py
|
8ed7fc5ddb
Fix memory protocol semantics (always write to 'clean' memory, read from 'snapshot' memory)
|
5 lat temu |
|
test_parser.py
|
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 lat temu |
Joeri Exelmans
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)