package lustre-v6

  1. Overview
  2. Docs
The Lustre V6 Verimag compiler

Install 

dune-project
 Dependency

www-verimag.imag.fr Edit opam file Versions (4)

Authors

  1. E
    Erwan Jahier and Pascal Raymond

Maintainers

  1. E
    erwan.jahier@univ-grenoble-alpes.fr

Sources

lustre-v6.v6.107.1.tgz
md5=4b642b106a76e19de3751afb53ccdcf4
sha512=ec6d35f0f4da219490cad7969d86e9128b7c3f03baa507f662b038b1915383581eda697ddb0e734a1a5311ef6b0908b1d0cf375a0be5dbb1aa7e9e79848037cc

doc/lustre-v6/Lv6MainArgs/index.html

Module Lv6MainArgsSource

Sourcetype enum_mode =
  1. | AsInt
  2. | AsBool
  3. | AsConst
  4. | AsEnum
Sourcetype io_transmit_mode =
  1. | Stack
  2. | Heap
  3. | HeapStack
Sourcetype schedul_mode =
  1. | Simple
  2. | Sort
  3. | Reorder
Sourcetype t = {
  1. mutable opts : (string * Arg.spec * string) list;
  2. mutable user_man : (string * string list) list;
  3. mutable hidden_man : (string * string list) list;
  4. mutable dev_man : (string * string list) list;
  5. mutable others : string list;
  6. mutable margin : int;
  7. mutable outfile : string;
  8. mutable infiles : string list;
  9. mutable main_node : string;
  10. mutable compile_all_items : bool;
  11. mutable run_unit_test : bool;
  12. mutable print_interface : bool;
  13. mutable expand_nodes : bool;
  14. mutable expand_node_call : string list;
  15. mutable expand_arrays : bool;
  16. mutable expand_io_type : bool;
  17. mutable optim_ite : bool;
  18. mutable oc : out_channel;
  19. mutable tlex : bool;
  20. mutable exec : bool;
  21. mutable gen_c : bool;
  22. mutable rif : bool;
  23. mutable gen_ocaml : bool;
  24. mutable launch_cc : bool;
  25. mutable ext_types : bool;
  26. mutable launch_exec : bool;
  27. mutable precision : int option;
  28. mutable gen_lic : bool;
  29. mutable keep_aliases : bool;
}
Sourcetype global_opt = {
  1. mutable dir : string;
  2. mutable gen_c_inline_predef : bool;
  3. mutable lv4 : bool;
  4. mutable kcg : bool;
  5. mutable ec : bool;
  6. mutable gen_autotest : bool;
  7. mutable expand_enums : enum_mode;
  8. mutable inline_iterator : bool;
  9. mutable one_op_per_equation : bool;
  10. mutable one_op_per_equation_set : bool;
  11. mutable when_on_ident : bool;
  12. mutable no_when_not : bool;
  13. mutable no_prefix : bool;
  14. mutable nonreg_test : bool;
  15. mutable current_file : string;
  16. mutable line_num : int;
  17. mutable line_start_pos : int;
  18. mutable soc2c_no_switch : bool;
  19. mutable soc2c_one_file : bool;
  20. mutable soc2c_inline_loops : bool;
  21. mutable soc2c_global_ctx : bool;
  22. mutable soc2c_dro : bool;
  23. mutable multi_core : bool;
  24. mutable gen_wcet : bool;
  25. mutable io_transmit_mode : io_transmit_mode;
  26. mutable schedul_mode : schedul_mode;
}
Sourceval paranoid : Lv6Verbose.flag
Sourceval global_opt : global_opt
Sourceval parse : string array -> t
Sourceval usage : out_channel -> t -> unit
Sourceval full_usage : out_channel -> t -> unit
Sourceval lexbuf_of_file_name : string -> Lexing.lexbuf