Project

General

Profile

« Previous | Next » 

Revision 75c459f4

Added by LĂ©lio Brun 9 months ago

start with Spec AST generation

View differences:

src/machine_code_common.mli
8 8
val is_stateless: Machine_code_types.machine_t -> bool
9 9
val mk_val: Machine_code_types.value_t_desc -> Types.type_expr -> Machine_code_types.value_t
10 10
val mk_conditional: ?lustre_eq:Lustre_types.eq -> Machine_code_types.value_t -> Machine_code_types.instr_t list -> Machine_code_types.instr_t list -> Machine_code_types.instr_t
11
val mk_branch: ?lustre_eq:Lustre_types.eq -> Machine_code_types.value_t -> (Lustre_types.label * Machine_code_types.instr_t list) list -> Machine_code_types.instr_t
12
val mk_assign: ?lustre_eq:Lustre_types.eq -> Lustre_types.var_decl -> Machine_code_types.value_t -> Machine_code_types.instr_t
11 13
val empty_machine: Machine_code_types.machine_t
12 14
val arrow_machine: Machine_code_types.machine_t
13 15
val new_instance: Lustre_types.top_decl -> Lustre_types.tag -> Lustre_types.ident

Also available in: Unified diff