To: Subscribers to Reactis Patches Mailing List
Reactive Systems (
July 13, 2007

We are pleased to announce the availability of Reactis V2006.3.7 (beta).

The following new features were added since V2006.3.6.

  • A Japanese version of Reactis is now available. To switch to Japanese, from the main Reactis window, select "File -> Settings..." and then in the "General" tab use the "Language" menu to select "Japanese".
  • For white-box analysis of S-Functions with Reactis for C, a new caching feature greatly speeds up the loading of big C libraries by only recompiling source files that have changed.

The following bugs have been fixed since V2006.3.6.

  • Fixed problem with links to self-modifying blocks within Validator objectives. This issue prevented the Compare to Constant block from being used in objectives.

You may download the patches or full installers from:

Best Regards,
The Reactis Team

Back to Patches Archive