-
Erwan Jahier authored
Parent-Version: 1.40 Version-Log: source/luc_exe.ml source/lurette.ml source/util.ml source/formula_to_bdd.ml source/bddd.ml source/solver.ml source/store.ml source/parse_luc.mli source/parse_luc.ml source/env_state.mli source/env_state.ml source/run_aut.ml source/gne.mli source/gne.ml source/lurettetop.ml source/gen_stubs_poc.ml source/ne.ml source/ne.mli share/lucky.el share/configure.in Makefile.common.source OcamlMakefile user-rules source/Makefile.show_luc source/Makefile.lucky source/Makefile.gen_stubs source/Makefile.lurette_lib source/Makefile test/time-joly.res test/temp_int.luc ihm/xlurette/xlurette.glade ihm/xlurette/makefile source/Makefile.gen_fake_lucky source/lustreExp.ml source/lustreExp.mli source/exp.ml source/exp.mli source/parser.mly doc/lucky-man/lucky-man.tex source/gnuplot-socket.ml source/gnuplot-rif.ml source/luckyDraw.mli source/luckyDraw.ml source/essai-maitre.ml source/essai-esclave.ml source/Makefile.ocaml source/Makefile.luckyDraw Add the possibility to call external code via dyn lib. The generation of default lucky files from Lurette was broken. Fix warning generated by gcc4. Fix a bug where variables with default values were generated twice (bug only visible in assert mode ; in the other mode, one of the value was taken, but I am not sure which one...) Project-Description: Lurette
98380cec