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.
- Fixed ``Uncaught exception: Subscript'' bug that could occur
when running tester on some models using non-empty group states.
- 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.
- 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.
- 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.
- 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.
- 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.
- Fixed ``Uncaught exception: Subscript'' bug that could occur
when running Tester on some models using non-empty group states.
- Use different behavior for not-a-number comparisons when using
pre-R14 versions of MATLAB.
- 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