Reactis V2006.3.7

To:	Subscribers to Reactis Patches Mailing List
From:	Reactive Systems (https://reactive-systems.com)
Date:	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