Project

General

Profile

« Previous | Next » 

Revision 75c459f4

Added by Lélio Brun about 2 years ago

start with Spec AST generation

View differences:

src/corelang.mli
45 45 
val mktop: top_decl_desc -> top_decl
46 46 

  		




  47
  47
  
    
(* constructor for machine types *)


  		




  48
  
  
    
val mkinstr: (* ?lustre_expr:expr ->  *)?lustre_eq: eq -> Machine_code_types.instr_t_desc -> Machine_code_types.instr_t


  		




  
  48
  
    
val mkinstr: (* ?lustre_expr:expr ->  *)?lustre_eq: eq -> Machine_code_types.value_t Spec_types.formula_t -> Machine_code_types.instr_t_desc -> Machine_code_types.instr_t


  		




  49
  49
  
    
val get_instr_desc: Machine_code_types.instr_t -> Machine_code_types.instr_t_desc


  		




  50
  50
  
    
val update_instr_desc: Machine_code_types.instr_t -> Machine_code_types.instr_t_desc -> Machine_code_types.instr_t


  		




  51
  51
  
    
  


  		












Also available in:  Unified diff