-
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