Cláudio Gomes 543c5328d0 unit inference implemented 6 years ago
..
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