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.
Please remove any copy of Esterelv5_91 you may have tried and use
this new official version instead.
Download
Esterel v5_92read
the release
notes.
|