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