Revision 59020713
Added by Pierre-Loïc Garoche almost 6 years ago
| src/machine_code_common.mli | ||
|---|---|---|
| 9 | 9 |
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 |
| 10 | 10 |
val empty_machine: Machine_code_types.machine_t |
| 11 | 11 |
val arrow_machine: Machine_code_types.machine_t |
| 12 |
val new_instance: Lustre_types.node_desc -> Lustre_types.top_decl -> Lustre_types.tag -> Lustre_types.ident
|
|
| 12 |
val new_instance: Lustre_types.top_decl -> Lustre_types.tag -> Lustre_types.ident |
|
| 13 | 13 |
val value_of_dimension: Machine_code_types.machine_t -> Dimension.dim_expr -> Machine_code_types.value_t |
| 14 | 14 |
val dimension_of_value:Machine_code_types.value_t -> Dimension.dim_expr |
| 15 | 15 |
val pp_instr: Machine_code_types.machine_t -> Format.formatter -> Machine_code_types.instr_t -> unit |
Also available in: Unified diff
Some progress on EMF bqckend. Refactoring machines code