To: Subscribers to Reactis Patches Mailing List
From:
Reactive Systems (https://reactive-systems.com)
Date:
January 16, 2006

We are pleased to announce the availability of Reactis V2005.0.14 and Reactis V2005.1.15 (Beta).

Reactis V2005.0.14

The following bugs were fixed since V2005.0.13.

  1. Fixed ``Uncaught exception: Subscript'' bug that could occur when running tester on some models using non-empty group states.
  2. Fixed inefficient parsing of .mdl files that made Reactis appear to lock up when reading a model containing very large string values.

Reactis V2005.1.15 (Beta)

The following features were added since V2005.1.14.

  1. Added Flush Cache button in the settings dialog. Clicking this button causes the cache to be emptied. Subsequently intermediate information will be recomputed as needed. Note, however, that .mwi files are not deleted on disk.
  2. Improved the type editor dialog when editing array types. The dialog now handles 2-dimensional arrays and includes a capability to copy and paste type-specifications for the elements of the array.
  3. Modified logging behavior of the Reactis License Manager service. Logging to a .csv file is now disabled by default, but can be enabled by setting the Windows registry key ``CsvLogLevel'' to 1. By default, the logging to the Windows event log now includes ``license granted'', ``license released'' and ``license rejected'' messages. The logging of these messages can be disabled by setting the Windows registry key ``SystemLogLevel'' to 0.
  4. The License Manager .csv log now contains a running total of currently occupied licenses. Together with the time stamp, this can be used to easily create graphs displaying the number of occupied licenses in Excel.

The following bugs were fixed since V2005.1.14.

  1. Fixed ``Uncaught exception: Subscript'' bug that could occur when running Tester on some models using non-empty group states.
  2. Use different behavior for not-a-number comparisons when using pre-R14 versions of MATLAB.
  3. Fixed crash when hovering over system tree in Coverage Report window.

You may download the patches or full installers from:

https://reactive-systems.com/login.msp

Best Regards,
The Reactis Team

Back to Patches Archive