.. |
classes
|
9593768dcf
Patched change in model_types semantics
|
7 tahun lalu |
compile.sh
|
c08c488f15
Added fetch_output feature
|
7 tahun lalu |
http_client.py
|
9084b05884
Clear the SCCD controller
|
8 tahun lalu |
http_client.xml
|
9084b05884
Clear the SCCD controller
|
8 tahun lalu |
modelverse.py
|
3cdc651ed9
Significant bugfixes for conformance relation: added type mapping MM, add conformance_finding algorithm that deduces a type mapping automatically for type mapping models
|
7 tahun lalu |
modelverse_SCCD.py
|
b65182b94d
Fixed sort algorithm
|
7 tahun lalu |
modelverse_SCCD.xml
|
1f216c0a6a
Make 2to3 changes.
|
7 tahun lalu |
poll_print.py
|
3e8b65d6e1
Workaround for bug in SCCD with keep_running
|
8 tahun lalu |
poll_print.xml
|
daa9a291fe
Semi-working transformation_execute and transformation_add
|
7 tahun lalu |
test.py
|
fdf610b19a
Add new optional parameter: tracability_model
|
7 tahun lalu |
test_SCCD.py
|
9e66fda092
Fixed Modelverse with remote HUTN compiler
|
8 tahun lalu |
test_modelverse.py
|
4effccfe6f
Rename casting operations
|
7 tahun lalu |
test_service.py
|
1b68fd2e8a
Switch raw_input to input when needed.
|
7 tahun lalu |
test_service_client.py
|
82643154d0
Fix service operations
|
8 tahun lalu |