-
Erwan Jahier authored
Parent-Version: 0.135 Version-Log: source/parse_env.ml: source/formula.ml: source/formula.mli: source/env_state.ml: source/env_state.mli: source/automata.ml: Change the format of pragma to stick with how they are defined in the DC ref man. Also take into account programs that were added by yvan that let one know which control point in the source lutin program each lucky node correspond to. source/lurette.ml: Display a better error msg when the sut and env vars do not match. source/sim2chro.ml: Variables were not display in the same order as in their declaration (bug introduced in the previous change). source/lurettetop.ml: The clean command does not remove everything in the tmp dir but only the generated files. ihm/xlurette/xlurette_*.ml: The naming of rif files was not working properly. Add a clean-up button. user-rules: <various other makefiles>: Abstract away a few hard-code env var so that its works on cygwin Project-Description: Lurette
fe6d609c