.. |
classes
|
1286165a56
Implemented "spawn" function as it should be
|
7 years ago |
compile.sh
|
c08c488f15
Added fetch_output feature
|
7 years ago |
http_client.py
|
9084b05884
Clear the SCCD controller
|
8 years ago |
http_client.xml
|
9084b05884
Clear the SCCD controller
|
8 years ago |
modelverse.py
|
93839b838e
Fix taken from PN_debugging for Statechart in background
|
7 years ago |
modelverse_SCCD.py
|
a804676c3b
Merge branch 'testing' into MvK_rules
|
7 years ago |
modelverse_SCCD.xml
|
e677faef89
Start the new fully modelled SCCD Mv client
|
8 years ago |
poll_print.py
|
3e8b65d6e1
Workaround for bug in SCCD with keep_running
|
8 years ago |
poll_print.xml
|
3e8b65d6e1
Workaround for bug in SCCD with keep_running
|
8 years ago |
test.py
|
fdf610b19a
Add new optional parameter: tracability_model
|
7 years ago |
test_SCCD.py
|
9e66fda092
Fixed Modelverse with remote HUTN compiler
|
8 years ago |
test_modelverse.py
|
4effccfe6f
Rename casting operations
|
7 years ago |
test_service.py
|
82643154d0
Fix service operations
|
8 years ago |
test_service_client.py
|
82643154d0
Fix service operations
|
8 years ago |