Project

General

Profile

« Previous | Next » 

Revision 7ab1c5bd

Added by Pierre-Loïc Garoche about 5 years ago

- Added a precision parameter for io_frontend "real" types
- New fonction in plugins: main_loop_body_prefix

View differences:

src/pluginType.ml
6 6 
  val check_force_stateful : unit -> bool
7 7 
  val refine_machine_code: LustreSpec.top_decl list ->
8 8 
    Machine_code.machine_t list -> Machine_code.machine_t list
9 
  val c_backend_main_loop_body_prefix : string -> string -> Format.formatter ->  unit -> unit
9 10 
  val c_backend_main_loop_body_suffix : Format.formatter ->  unit -> unit
10 11 
end
11 12 

  		




  ......




  13
  14
  
    
struct


  		




  14
  15
  
    
  let check_force_stateful () = false


  		




  15
  16
  
    
  let refine_machine_code prog machines = machines


  		




  
  17
  
    
  let c_backend_main_loop_body_prefix basename mname fmt () = ()


  		




  16
  18
  
    
  let c_backend_main_loop_body_suffix fmt () = ()


  		




  17
  19
  
    
end


  		












Also available in:  Unified diff