• Erwan Jahier's avatar
    lurette 1.40 Fri, 22 Jul 2005 17:06:41 +0200 by jahier · b1a40b56
    Erwan Jahier authored
    Parent-Version:      1.39
    Version-Log:
    
    source/luc_exe.ml
    source/command_line_luc_exe.ml
    source/command_line_luc_exe.mli
    source/lurette.ml
    source/command_line.ml
    source/command_line.mli
    source/lucky.ml
    source/rif.ml
    source/env_state.mli
    source/env_state.ml
    source/run_aut.mli
    source/run_aut.ml
    source/lurettetop.ml
    ihm/xlurette/xlurette_glade_main.ml
      Add a reactive mode where the output of the previous cycle is returned
      when the Lucky environment is blocked (because no transition from
      the current node(s) is labelled by a satisfiable constraint.
    
    Remove the dependence on cygwin to run it under windows.
    
    In particular, to be able to do that, I now use socket instead of pipes
    in order to communicate between lurettetop and xlurette.
    
    Also, define proper, cp, rm, etc instead of doing them by sys calls.
    
    A lot of changes to make it work with the scade gui
    
    Project-Description: Lurette
    b1a40b56
TODO 8.03 KB