-
Erwan Jahier authored
Parent-Version: 1.37 Version-Log: source/util.ml: put the C_GENERATOR_FLAG at the end of the list of options of lustre2C so that the -name_lenght lustre2C option can be taken into account. source/Makefile.lucky source/Makefile.lurette_lib source/fair_bddd.ml source/fair_bddd.mli source/bddd.ml source/bddd.mli source/solver.ml source/sol_nb.ml [new] : put all the stuff related to the counting of the solution number in a dedicated module. Make the representation of solution numbers abstract. Use the log-based coding instead of the real value so that it does not overflow, which was the case when the programs have more than 1200 variables. source/parse_c_scade.ml Fix a bug when parsing C scade files due to the fact that not all variable name start with '_' (one start with 'SYNCHRO_') source/gen_fake_lucky.ml When no environment is provided, also generate a file named <node>_env_UD in addition to the fake env in <node>_env. That one is more elaborated and contraints the output variables so that they move up and down. ihm/xlurette/xlurette.glade ihm/xlurette/xlurette_glade_interface.ml share/Makefile.lurette.in include user test dir before scade dir, otherwise, inconsistent definitions of reals may coexist. Project-Description: Lurette
1d4d5e4c