Bugs & Fixes pages give all the currently known bugs and possibly give access to corrections. Once a bug has been corrected, the Esterel distribution is updated. Thus, if you download the latest release of Esterel, you will have the corrected processors. Nevertheless, if you already have the current distribution, you probably just want to download the corrected processor(s).

Select your esterel compiler version: