package lustre-v6

You can search for identifiers within the package.

in-package search v0.2.0

The Lustre V6 Verimag compiler

Install

md5=755e46de4d57d4c489f5b0a0f2b8663d

sha512=8d452184ee68edda1b5a50717e6a5b13fb21f9204634fc5898280e27a1d79c97a6e7cc04424fc22f34cdd02ed3cc8774dca4f982faf342980b5f9fe0dc1a017d

Choose between the various C code generators (heap-based, Stack based, etc).

the "Dep" in the module name means "Depends", but I'm not happy with this name...

Sourceval gen_assign_var_expr : Soc.t -> Soc.var_expr -> Soc.var_expr -> string

Sourceval step_name : Soc.key -> string -> string

Sourceval get_step_prototype : Soc.step_method -> Soc.t -> string * string * string

Sourceval string_of_var_expr : Soc.t -> Soc.var_expr -> string

Sourceval ctx_var : Soc2cUtil.var_kind -> Soc.t -> Lv6Id.t -> string

val gen_step_call : 
  Soc.t ->
  Soc.t ->
  Soc.var_expr list ->
  Soc.var_expr list ->
  string ->
  string ->
  string ->
  string

Sourceval inlined_soc : Soc.key -> bool

Sourceval get_predef_op : Soc.key -> string

Returns the C code corresponding a soc key

Sourceval get_iterator : Soc.t -> string -> Soc.t -> int -> string

Returns the C code implementing an iterator (map, fill, red)

Sourceval get_condact : Soc.t -> Soc.t -> Soc.var_expr list -> string

Returns the C code implementing a condact

Sourceval get_boolred : Soc.t -> int -> int -> int -> string

Returns the C code implementing a boolred

Sourceval typedef_of_soc : Soc.t -> string