.. |
controller.sa
|
4057d1eb33
removed module declaration as it is not used in the paper version
|
7 years ago |
controller_sa_allInOne.sa
|
de91a377ea
Going to change the controller_sa for the split version of the adaptations (described in the paper)
|
7 years ago |
controller_sa_commented.sa
|
b31b7668d9
lazy and controller semantic adaptations
|
7 years ago |
lazy.sa
|
8f2d6b5a31
generalized type inference, to also work with unit inference
|
6 years ago |
lazy_sa_commented.sa
|
d56fbfa286
lazy_sa corrected to run itnernal FMU whenever any signal changes.
|
7 years ago |
loop.sa
|
d54b514bb5
Remove null literal in parameter declaration. Does not make sense.
|
6 years ago |
loop_canonical.sa
|
8f2d6b5a31
generalized type inference, to also work with unit inference
|
6 years ago |
power.BASE.sa
|
4057d1eb33
removed module declaration as it is not used in the paper version
|
7 years ago |
rate.sa
|
4057d1eb33
removed module declaration as it is not used in the paper version
|
7 years ago |
window_obstacle_sa_flat.BASE.sa
|
d54b514bb5
Remove null literal in parameter declaration. Does not make sense.
|
6 years ago |
window_sa.BASE.sa
|
8f2d6b5a31
generalized type inference, to also work with unit inference
|
6 years ago |
window_sa_canonical.BASE.sa
|
2a1caf1f2c
applied reduction rules to loop and window_sa
|
7 years ago |
window_sa_canonical_commented.BASE.sa
|
d24fbaa8bb
merged test folder testInput with input to have just one;
|
7 years ago |
window_sa_canonical_types.BASE.sa
|
b6cb1b4752
added optional type declaration to var declarations. Can be used to support type inference.
|
6 years ago |
window_sa_commented.BASE.sa
|
9559548198
added commented examples and code from the paper.
|
7 years ago |
window_sa_comp_units.sa
|
543c5328d0
unit inference implemented
|
6 years ago |