Skip to content
  • Erwan Jahier's avatar
    lurette 1.41 Mon, 26 Sep 2005 13:51:19 +0200 by jahier · 98380cec
    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