RELEASE NOTES FOR THE ESTEREL V5_90 SYSTEME

CHANGES FROM v5_21

The changes between the previous v5_21 release and the new v5_90 release are:

* new Esterel pre operator.

The pre operator has been introduced in the Esterel language for signals and values .
Its syntax is as follows:

pre(SIGNAL) : previous status of signal SIGNAL.

Example:

every [not(pre(I)) and I] do
  emit I_POSITIVE_EDGE
end every

This program emits I_POSITIVE_EDGE each time I is present and was not present at the previous instant.

pre(?SIGNAL) : previous value of the valued signal SIGNAL.

Now, it is possible to write:

input I;
output I_COUNT := 0 : integer;
every I do
  emit I_COUNT(pre(?I_COUNT) + 1)
end

This program emits I_COUNT, which is the number of occurrence of signal I.

Note: at the first instant, pre(?SIGNAL) is undefined, unless SIGNAL has an initial value, as it is the case for I_COUNT in the example.
If there is an initial value v, then pre(?SIGNAL) = v.


* Xes recorder

The xes' event recorder/player is redesigned. Now, the default is to record every event sent by the user, or played back by the player. Events are recorded into a buffer and will be saved in a file (default name "untitled") only on user request. The recorder is readily available by a button on the mail control panel. File extension is .esi, for Esterel Simulation File, but previous .csimul extension is still supported.

* Explicit automaton generation

The v5_90 system uses a new compiler module called scoc to generate an explicit automaton directly from SC code. Scoc exploits the full constructive semantics analysis. It has been written by Yannis Bres, a PhD student at CMA.

To obtain an explicit automaton, use the following commands:

- standard C code
  esterel -A foo.strl

- C code for simulation
  esterel -A -simul foo.strl

- from OC code
  esterel -oc foo.strl
  esterel -A foo.oc

The v3 compilation chain (option -v3 of the Esterel compiler) using lcoc and the v4 compilation chain using sscoc are suppressed.
the -S option for single state automaton is also suppressed.

* Xeve

The X Esterel Verification Tool (xeve) is now part of the Esterel standard distribution.

* Intermediate formats

The IC format has changed. Previous versions are no more supported.

* Csimul format

Trap traces are changed. Message header is now:

Trap:
instead of:
Exception:

Example:
  Trap: T

The trace commands are now:

- to trace specifically traps:
  ! trace traps

- to remove traps traces:
  ! untrace traps

COPYRIGHT
You must read the COPYRIGHT file before using Esterel v5. Please make sure that you understand the copyright and license information before using this release.

NOTES
On Solaris architecture, do not compile a tty-simulation program (libcsimul.a) with /usr/ucb/cc. Use instead SparcWorks cc, or gcc.The reason is that csimul uses setjmp, and the headers of /usr/ucb/cc are incompatible with those of the other compilers.