Last modified 3 years ago
{{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.