name = Lustre 4

|logo = |screenshot = |caption = |maintainer = ctr |operating_system = Linux, Solaris |genre = |license = |website = |source = }}

 Lustre is a synchron dataflow language.


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

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