-
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