Skip to content
  • Erwan Jahier's avatar
    lurette 0.132 Tue, 15 Apr 2003 17:38:13 +0200 by jahier · 557de1e9
    Erwan Jahier authored
    Parent-Version:      0.131
    Version-Log:
    
    Fix 3 bugs discovered by Pascal.
    
    one was due to a confusion with variable starting with _pre
    during formula_to_string.
    
    another one was in store.ml: i was not reinjecting the solutions
    when retriving values from store.substl
    
    a third one was due to the fact that I was not applying substitution
    rigth-to-left whereas I should.
    
    source/luc_exe.ml:
       Add 2 options --help and --step-number that let one set a bound
       on the number of steps to perform.
    
    source/env.ml:
    source/parse_env.ml:
       Provide a mean to give default values to pre variables.
    
    ihm/xlurette/xlurette_glade_main.ml
    ihm/xlurette/xlurette.glade:
      Add Combo boxes to browse lustre file nodes.
    
    source/
    Add the possibility to give default vales to pre variables.
    
    Project-Description: Lurette
    557de1e9