package lustre-v6

You can search for identifiers within the package.

in-package search v0.2.0

The Lustre V6 Verimag compiler

Install

Dune Dependency

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

Authors

E

Erwan Jahier and Pascal Raymond

Maintainers

E

erwan.jahier@univ-grenoble-alpes.fr

Sources

lustre-v6.6.103.3.tgz

md5=755e46de4d57d4c489f5b0a0f2b8663d

sha512=8d452184ee68edda1b5a50717e6a5b13fb21f9204634fc5898280e27a1d79c97a6e7cc04424fc22f34cdd02ed3cc8774dca4f982faf342980b5f9fe0dc1a017d

doc/lustre-v6/Soc2cStack/index.html

Module `Soc2cStack`Source

Gathers all entities (functions, types) that implement the heap-based C generator.

Sourceval is_soc_output : Soc.var_expr -> Soc.t -> bool

Sourceval gen_assign : Data.t -> string -> string -> string

gen_assign t vi vo size generated the C code that assign vo to vi, using memcpy or = depending on the type t

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

ditto

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

Generates the C step name from the soc key and the soc step name

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

Returns the prototype (.c) and the decl (.h) of the step function. For the stack based approach, we need to arg I/O params.

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

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

gen_step_call soc called_soc vel_out vel_in ctx sname step_arg Generates the C code that performs the call to a step method of called_soc from soc.

vel_out and vel_in are the called_soc O/I arguments
ctx is the C name of the context of the called_soc
sname is the C name of the step to call
step_arg is a string holding the arg of the step (empty for proc call)

Source

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 typedef_of_soc : Soc.t -> string