lus2ec - lustre expansion

- NAME
- SYNOPSIS
- DESCRIPTION
- OPTIONS
- SEE ALSO

# NAME

lus2ec - lustre expansion

# SYNOPSIS

lus2ec file.lus node [ options ]

# DESCRIPTION

Lustre to expanded-code compiler: it requires a Lustre-V4 input file and a main node name. It produces a file node.ec. This file contains the code of the main node where node calls are inlined (recursively replaced by their definitions) and where structured variables (arrays, tuples) are expanded into sets of atomic variables (bool, int, real or external type).

# OPTIONS

-o file.ec

  define the name of the output file.

-nos

  output the result on stdout

# SEE ALSO

lustre, lus2ec, ecexe, luciole, simec, lus2oc, ec2oc, ocmin, lus2atg, oc2atg, ec2c, poc, lux, lesar, ecverif, xlesar

lus2ec - lustre expansion