The ESTEREL environment variable has changed and Tcl/Tk is used as
shell script. See ESTEREL INSTALLATION below.
The Interpreted Simulation Code allows the tracking of signal use:where
a signal is emitted, tested, etc..., see XES IMPROVEMENTS
below. As a consequence, the simulation C code generated with previous
Esterel compiler is no more supported by the v5_21 simulators. Please,
recompile your simulations. The standard embedded code is fully compatible.
See XES IMPROVEMENTS below.
The ESTEREL environment variable now defines the Esterel installation
directory, instead of the directory where the binaries were in v5_10. For
The Esterel system was built using Microsoft Visual C++ 5.0. The C
compiler and the linker CL.EXE and LINK.EXE must be accessible throught
the user's path. The LIB and INCLUDE environment variables must also be
set for simulation to work properly. The definitions of these variables
are in the file Vc\bin\Vcvars32.bat in the Visual C++ distribution.
We use Tcl/Tk as multi-platform shell for some scripts. Therefore, a binary distribution of Tcl/Tk is now provided in the $ESTEREL/tcltk directory. Please, read tcltk/copyright.txt. The distribution contains strlsh and tclsh. These are the basic wish and tclshapplications modified to take first into account the ESTEREL variable when looking for TCL_LIBRARY and TK_LIBRARY. These executables are in $ESTEREL/bin. The tcltk directory also contains Tcl/Tk librairies.
Tcl/Tk is developed by Scriptics Corp. http://www.scriptics.com/.
The new Signal Browsing feature tracks a signal everywhere it appears, even if it is renamed. When the feature is enabled ("Signal Browser" entry of "Command" menu), a click with button 3 on a signal declaration or use highlights the following items:
Button 3 highlights all these items whenever one of them is clicked on. The module tree is also highlighted, so one can easily find all the places where a signal is used.
This feature is available only for Interpreted Simulation Code, ie C
code obtained with the "-I" and "-simul" options.
The main tool is the X-window based Esterel Verification Environment
|email@example.com||: direct Esterel team access.|
|firstname.lastname@example.org||: users forum.|
|email@example.com||: as it says.|