We are pleased to announce the availability of Reactis V2006.0.13.

The following bugs were fixed since V2006.0.11 (V2006.0.12 was an internal release).

1. Fixed bug that caused the display of the following message for some models: "bug: type error (cannot update type ^x with type ^y)".
2. Fixed bug that could cause Reactis to report incorrect priority violations.
3. Fixed bug that caused linking to fail when calling routines in the Reactis API from C++ programs.

You may download the patches or full installers from:

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

Best Regards,
The Reactis Team