-
Sylvain Dailler authored
This commit clean some of the spark specific code for ce replacing it with more modular algorihtm. Some type are now given by the model parser in order to get the variables that are updated by an else branch.
9a51df55
Prochaines maintenances programmées: mardi 02/04, lundi 06/05, lundi 03/06
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
This commit clean some of the spark specific code for ce replacing it with more modular algorihtm. Some type are now given by the model parser in order to get the variables that are updated by an else branch.