This is cec, the Columbia Esterel Compiler.

Esterel is a synchronous language developed by Gerard Berry et al.
See www.esterel-technologies.com for documentation on the language.

This is an automake/autoconf-based project.  Compilation can be as
simple as

./configure
make

Compilation requires the ANTLR parser generator libraries as well as the
expat XML parser.  Configuration will fail if they are not found.
They can be had from http://www.antlr.org and
http://www.jclark.com/xml/expat.html

----------------------------------------------------------------------
Much of the system is documented using Norman Ramsey's Noweb system.
See http://www.eecs.harvard.edu/~nr/noweb/ for details.

The compiler uses XML as an on-disk intermediate representation.
See IR.pdf for a description.

The AST and GRC intermediate representations are described in the file AST.pdf.

High-level dismantlers are described in Dismantle.pdf.

The AST-to-GRC dismantler is described in ASTGRC.pdf.

The Esterel grammar is in esterel.g.

The static semantic checker is in staticsemantics.g
