Project

General

Profile

« Previous | Next » 

Revision f0195e96

Added by Pierre-Loïc Garoche over 3 years ago

- Primitive Tiny backend
- Renamed Mpfr to lustrec_mpfr
- Introduced dependency in Zarith. Trying to move away from Num

View differences:

src/machine_code_common.mli
22 22 

  		




  23
  23
  
    
val get_node_def: string -> Machine_code_types.machine_t -> Lustre_types.node_desc


  		




  24
  24
  
    
val join_guards_list: Machine_code_types.instr_t list -> Machine_code_types.instr_t list


  		




  
  25
  
    
val machine_vars: Machine_code_types.machine_t -> Lustre_types.var_decl list


  		












Also available in:  Unified diff