-
Erwan Jahier authored
as many new local variables as necessary so that an expression is made at most of one operator. The rational for that is to obtain a lic code that is trivial to clock check (nested node calls, for example, make it less simple). The old behavior can still be obtained using --keep-nested-calls. During that change, I realised that I did not clock check asserts. Hence, I have also added this check.
Erwan Jahier authoredas many new local variables as necessary so that an expression is made at most of one operator. The rational for that is to obtain a lic code that is trivial to clock check (nested node calls, for example, make it less simple). The old behavior can still be obtained using --keep-nested-calls. During that change, I realised that I did not clock check asserts. Hence, I have also added this check.
licDump.mli 897 B
(** Time-stamp: <modified the 19/08/2008 (at 15:29) by Erwan Jahier> *)
open CompiledData
val string_of_node_key_rec : node_key -> string
val node_of_node_exp_eff: node_exp_eff -> string
val string_of_const_eff : const_eff -> string
val string_of_type_eff : type_eff -> string
val string_of_type_eff_list : type_eff list -> string
val type_eff_list_to_string :type_eff list -> string
val type_decl: Ident.long -> type_eff -> string
val const_decl: Ident.long -> const_eff -> string
val profile_of_node_exp_eff: node_exp_eff -> string
val string_of_var_info_eff: var_info_eff -> string
val string_of_slice_info_eff : slice_info_eff -> string
(* Dump all the type alias that were introduced during the compilation process *)
val dump_type_alias : out_channel -> unit
(* used for error msgs *)
val string_of_clock2 : clock_eff -> string
val string_of_val_exp_eff : val_exp_eff -> string