Project

General

Profile

« Previous | Next » 

Revision 6d1693b9

Added by LĂ©lio Brun 7 months ago

work on spec generation almost done

View differences:

src/machine_code_common.mli
1 1
val pp_val: Machine_code_types.machine_t -> Format.formatter -> Machine_code_types.value_t -> unit
2 2
val is_memory: Machine_code_types.machine_t -> Lustre_types.var_decl -> bool
3
val is_reset_flag: Lustre_types.var_decl -> bool
3 4
val is_output: Machine_code_types.machine_t -> Lustre_types.var_decl -> bool
4 5
val is_const_value: Machine_code_types.value_t -> bool
5 6
val get_const_assign: Machine_code_types.machine_t -> Lustre_types.var_decl -> Machine_code_types.value_t
......
7 8
val get_stateless_status_top_decl: Lustre_types.top_decl -> bool * bool
8 9
val is_stateless: Machine_code_types.machine_t -> bool
9 10
val mk_val: Machine_code_types.value_t_desc -> Types.type_expr -> Machine_code_types.value_t
11
val vdecl_to_val: Lustre_types.var_decl -> Machine_code_types.value_t
12
val vdecls_to_vals: Lustre_types.var_decl list -> Machine_code_types.value_t list
13
val id_to_tag: Lustre_types.ident -> Machine_code_types.value_t
10 14
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
15
val mk_branch: ?lustre_eq:Lustre_types.eq -> Lustre_types.var_decl -> (Lustre_types.label * Machine_code_types.instr_t list) list -> Machine_code_types.instr_t
12 16
val mk_assign: ?lustre_eq:Lustre_types.eq -> Lustre_types.var_decl -> Machine_code_types.value_t -> Machine_code_types.instr_t
13 17
val empty_machine: Machine_code_types.machine_t
14 18
val arrow_machine: Machine_code_types.machine_t
......
26 30
val get_node_def: string -> Machine_code_types.machine_t -> Lustre_types.node_desc
27 31
val join_guards_list: Machine_code_types.instr_t list -> Machine_code_types.instr_t list
28 32
val machine_vars: Machine_code_types.machine_t -> Lustre_types.var_decl list
33

  
34
module PrintSpec: sig val pp_spec: Machine_code_types.machine_t -> Format.formatter -> Machine_code_types.value_t Spec_types.formula_t -> unit end

Also available in: Unified diff