Project

General

Profile

« Previous | Next » 

Revision c02d255e

Added by Pierre-Loïc Garoche almost 9 years ago

Solved some bugs in the lustre printer
Generation of a witness with both the main node and hte inlined main node
Test script modified to check consistency of the inlining process

View differences:

src/main_lustre_compiler.ml
137 137 
  (* Clock calculus *)
138 138 
  let computed_clocks_env = clock_decls clock_env prog in
139 139 

  		




  
  140
  
    
  (* Perform global inlining *)


  		




  
  141
  
    
  let prog =


  		




  
  142
  
    
    if !Options.global_inline && 


  		




  
  143
  
    
      (match !Options.main_node with | "" -> false | _ -> true) then


  		




  
  144
  
    
      Inliner.global_inline prog type_env clock_env


  		




  
  145
  
    
    else


  		




  
  146
  
    
      prog


  		




  
  147
  
    
  in


  		




  
  148
  
    

  		




  140
  149
  
    
  (* Delay calculus *)


  		




  141
  150
  
    
  (*


  		




  142
  151
  
    
    if(!Options.delay_calculus)


  		












Also available in:  Unified diff