Skip to content
  • Erwan Jahier's avatar
    lurette 1.39 Tue, 14 Dec 2004 11:29:46 +0100 by jahier · 3a6425a6
    Erwan Jahier authored
    Parent-Version:      1.38
    Version-Log:
    
    source/run_aut.mli
    source/run_aut.ml:
      Fix a bug when drawing transitions in the automata that made the distribution
      wrong wrt weights (oups)...
    
    source/lucky.ml
    source/run_aut.mli
    run_aut.ml:
      Fix a bug where the repartition wrt the automata transitions was wrong in
      case of backtracking.
    
    source/lurette.ml
      Fix a bug related to the thickness (when only all the vertices where
    required).
    
    demo-xlurette/fault-tolerant-heater/heater_control_env.luc
    share/show_luc.sh
    share/show_luc.bat
    
    source/gen_fake_lucky.ml
    source/lurettetop.ml
    source/util.ml
    ihm/xlurette/xlurette_glade_main.ml
    ihm/xlurette/xlurette.glade
       Add a button in xlurette that generates default environments.
       Add a buildenv command for lurettetop to do it.
    
    Project-Description: Lurette
    3a6425a6