Project

General

Profile

« Previous | Next » 

Revision e3a4e911

Added by Xavier Thirioux almost 10 years ago

some optimization in code optimization !!

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@449 041b043f-8d7c-46b2-b46e-ef0dd855326e

View differences:

src/main_lustre_compiler.ml
164 164 
  if !Options.global_inline && !Options.main_node <> "" && !Options.witnesses then
165 165 
    begin
166 166 
      let orig = Corelang.copy_prog orig in
167 
      Log.report ~level:1 (fun fmt -> fprintf fmt ".. generating witness file !@,");
167 
      Log.report ~level:1 (fun fmt -> fprintf fmt ".. generating witness file@,");
168 168 
      check_stateless_decls orig;
169 169 
      let _ = Typing.type_prog type_env orig in
170 170 
      let _ = Clock_calculus.clock_prog clock_env orig in
......
173 173 
      Inliner.witness
174 174 
	basename
175 175 
	!Options.main_node
176 
	orig prog type_env clock_env;
177 
      Log.report ~level:1 (fun fmt -> fprintf fmt ".. done !@,");
176 
	orig prog type_env clock_env
178 177 
    end;
179 178 

  		




  180
  179
  
    
(*Format.eprintf "Inliner.global_inline<<@.%a@.>>@." Printers.pp_prog prog;*)


  		












Also available in:  Unified diff