Esterel News

Esterelv5_92 is now available

This is a minor release following Esterel v5_91:

- bug fix concerning nested modules with pre. In some configurations, there was a bad linking by iclc.

- code generation improvement : we now avoid generating too many nested parentheses, which Microsoft’s compiler cannot compile (are we in year 2000?).

The main novelties in Esterel v5_91 / v5_92 are the pre operators for accessing the previous status or value of a signal, a new explicit automata generator that uses the same causality as the rest of the system, and a new recorder in the xes simulator. Also, Ansi C code generation is now the default. The Xeve verifier is now distributed together with the Esterel compiler.

G. Berry will be co-chair of the CAV 2001 conference, see http://www.lsv.ens-cachan.fr/cav01/