| .. |
|
classes
|
9593768dcf
Patched change in model_types semantics
|
%!s(int64=7) %!d(string=hai) anos |
|
compile.sh
|
c08c488f15
Added fetch_output feature
|
%!s(int64=7) %!d(string=hai) anos |
|
http_client.py
|
9084b05884
Clear the SCCD controller
|
%!s(int64=8) %!d(string=hai) anos |
|
http_client.xml
|
9084b05884
Clear the SCCD controller
|
%!s(int64=8) %!d(string=hai) anos |
|
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
|
%!s(int64=7) %!d(string=hai) anos |
|
modelverse_SCCD.py
|
c1a60e4b8d
Patches for tests and conformance bottom finding
|
%!s(int64=7) %!d(string=hai) anos |
|
modelverse_SCCD.xml
|
1f216c0a6a
Make 2to3 changes.
|
%!s(int64=7) %!d(string=hai) anos |
|
poll_print.py
|
3e8b65d6e1
Workaround for bug in SCCD with keep_running
|
%!s(int64=8) %!d(string=hai) anos |
|
poll_print.xml
|
daa9a291fe
Semi-working transformation_execute and transformation_add
|
%!s(int64=7) %!d(string=hai) anos |
|
test.py
|
fdf610b19a
Add new optional parameter: tracability_model
|
%!s(int64=7) %!d(string=hai) anos |
|
test_SCCD.py
|
9e66fda092
Fixed Modelverse with remote HUTN compiler
|
%!s(int64=8) %!d(string=hai) anos |
|
test_modelverse.py
|
4effccfe6f
Rename casting operations
|
%!s(int64=7) %!d(string=hai) anos |
|
test_service.py
|
1b68fd2e8a
Switch raw_input to input when needed.
|
%!s(int64=7) %!d(string=hai) anos |
|
test_service_client.py
|
82643154d0
Fix service operations
|
%!s(int64=8) %!d(string=hai) anos |
Yentl Van Tendeloo
c1a60e4b8d
Patches for tests and conformance bottom finding