Project

General

Profile

« Previous | Next » 

Revision 2863281f

Added by Pierre-Loïc Garoche almost 7 years ago

Further restructuring:
- arrow.ml* to define basic builder for arrow (node, name, ...)
- machine_code_common similar to corelang but for machine_code (printers, some builders, ...)
- machine_code restricted to the translatation from normalized nodes to machines

View differences:

src/machine_code.mli
1
val pp_val: Format.formatter -> Machine_code_types.value_t -> unit
2
val is_memory: Machine_code_types.machine_t -> Lustre_types.var_decl -> bool
3
val is_output: Machine_code_types.machine_t -> Lustre_types.var_decl -> bool
4
val is_const_value: Machine_code_types.value_t -> bool
5
val get_const_assign: Machine_code_types.machine_t -> Lustre_types.var_decl -> Machine_code_types.value_t
6
val get_stateless_status: Machine_code_types.machine_t -> bool * bool
7
val mk_val: Machine_code_types.value_t_desc -> Types.type_expr -> Machine_code_types.value_t
8
val empty_machine: Machine_code_types.machine_t
9
val arrow_machine: Machine_code_types.machine_t
10
val arrow_id: string
11
val arrow_top_decl: Lustre_types.top_decl
12
val value_of_dimension: Machine_code_types.machine_t -> Dimension.dim_expr -> Machine_code_types.value_t
13
val dimension_of_value:Machine_code_types.value_t -> Dimension.dim_expr
14
val pp_instr: Format.formatter -> Machine_code_types.instr_t -> unit
15
val pp_instrs: Format.formatter -> Machine_code_types.instr_t list -> unit
16
val pp_machines: Format.formatter -> Machine_code_types.machine_t list -> unit
17
val get_machine_opt: string -> Machine_code_types.machine_t list -> Machine_code_types.machine_t option
18
val get_node_def: string -> Machine_code_types.machine_t -> Lustre_types.node_desc
19
val join_guards_list: Machine_code_types.instr_t list -> Machine_code_types.instr_t list
20 1
val translate_prog: Lustre_types.program -> Scheduling.schedule_report Utils.IMap.t  -> Machine_code_types.machine_t list

Also available in: Unified diff