• Erwan Jahier's avatar
    lurette 0.136 Mon, 19 May 2003 11:40:43 +0200 by jahier · fe6d609c
    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
makefile 3.65 KB