{{Infobox_Software2|

name = Lustre 4

|logo = |screenshot = |caption = |maintainer = ctr |operating_system = Linux, Solaris |genre = |license = |website =  http://www-verimag.imag.fr/~raymond/tools/lv4-distrib.html |source = }}

 Lustre is a synchron dataflow language.

Tools

The compiler and additional tools are installed in /home/esterel/bin

• lustre: the compiler produces either automata code (oc), or circuit code (ec)
• luciole: a simulator similar to xes
• lesar: a model checker similar to xeve
• ocdebug: pretty printer for automata code in the oc format

Generate C code

To generate C code for node N in file F.lus execute

lus2ec F.lus N ec2c N.ec

For an example, how to compile the Lustre file and connect it to a c-Interface, see /home/esterel/examples/counter.