Skip to content
  • Erwan Jahier's avatar
    lurette 1.38 Tue, 09 Nov 2004 08:50:49 +0100 by jahier · 1d4d5e4c
    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