To: Subscribers to Reactis Patches Mailing List
From:
Reactive Systems (https://reactive-systems.com)
Date:
June 13, 2005

We are pleased to announce the availability of Reactis V2005.0.2.

The following bugs were fixed since V2005.0.1.

  1. Fixed incorrect coverage reporting for Vector Index block.
  2. Fixed bug that caused a ``State Inconsistency'' error for boxed substates containing only junctions.

The following features were added since V2005.0.1

  1. Support for Probe blocks.
  2. Support for 'System Sample Time' setting in Simulink subsystems.
  3. Support offsets and differing input sizes for Merge block.
  4. Support for inherited types and sizes in Stateflow.
  5. Support 'Index Mode' and 'Use index as starting value' in Assignment blocks.
  6. Changed integer overflow setting in the Reactis Settings dialog. Any changes to the setting now become effective immediately in a running Simulator session.

You may download the patch or full installer from:

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

Best Regards,
The Reactis Team

Back to Patches Archive