package lustre-v6
The Lustre V6 Verimag compiler
Install
Dune Dependency
Authors
Maintainers
Sources
lustre-v6.v6.107.1.tgz
md5=4b642b106a76e19de3751afb53ccdcf4
sha512=ec6d35f0f4da219490cad7969d86e9128b7c3f03baa507f662b038b1915383581eda697ddb0e734a1a5311ef6b0908b1d0cf375a0be5dbb1aa7e9e79848037cc
doc/lustre-v6/Lv6MainArgs/index.html
Module Lv6MainArgsSource
Source
type t = {mutable opts : (string * Arg.spec * string) list;mutable user_man : (string * string list) list;mutable dev_man : (string * string list) list;mutable others : string list;mutable margin : int;mutable outfile : string;mutable infiles : string list;mutable main_node : string;mutable compile_all_items : bool;mutable run_unit_test : bool;mutable print_interface : bool;mutable expand_nodes : bool;mutable expand_node_call : string list;mutable expand_arrays : bool;mutable expand_io_type : bool;mutable optim_ite : bool;mutable oc : out_channel;mutable tlex : bool;mutable exec : bool;mutable gen_c : bool;mutable rif : bool;mutable gen_ocaml : bool;mutable launch_cc : bool;mutable ext_types : bool;mutable launch_exec : bool;mutable precision : int option;mutable gen_lic : bool;mutable keep_aliases : bool;
}Source
type global_opt = {mutable dir : string;mutable gen_c_inline_predef : bool;mutable lv4 : bool;mutable kcg : bool;mutable ec : bool;mutable gen_autotest : bool;mutable expand_enums : enum_mode;mutable inline_iterator : bool;mutable one_op_per_equation : bool;mutable one_op_per_equation_set : bool;mutable when_on_ident : bool;mutable no_when_not : bool;mutable no_prefix : bool;mutable nonreg_test : bool;mutable current_file : string;mutable line_num : int;mutable line_start_pos : int;mutable soc2c_no_switch : bool;mutable soc2c_one_file : bool;mutable soc2c_inline_loops : bool;mutable soc2c_global_ctx : bool;mutable soc2c_dro : bool;mutable multi_core : bool;mutable gen_wcet : bool;mutable io_transmit_mode : io_transmit_mode;mutable schedul_mode : schedul_mode;
}