Reactive Systems logo
April 12, 2021
Newsletters
Patches
 
Spacer

March 12, 2021

Dear Reactis User:

Reactis V2020.2.1 and V2020.0.4 are now available.

Reactis V2020.2.1

The following bugs were fixed since V2020.2:

  • "bug: no default value defined" for some models using alias types and enumerated types (#4703).
  • "Bug: uncaught exception: bind" for some combinations of Merge/Outport blocks (#4728).
  • Excluding coverage tracking for contents of Validator objectives does not work in some cases (#4755).
  • Subnormal floating-point values are only checked if Inf/Nan checking is also enabled (#4707).
  • 32-bit subnormal value causes "NotImplemented" exception in C plugin (#4709).
  • Subnormal floating-point values in C code are only checked if Inf/Nan checking is also enabled (#4715).
  • Automatic update fails with "Invalid checksum" error (#4750).

Reactis V2020.0.4

The following bugs were fixed since V2020.0.3:

  • "Bug: uncaught exception: bind" for some combinations of Merge/Outport blocks (#4728).
  • "bug: no default value defined" for some models using alias types and enumerated types (#4703).
  • Excluding coverage tracking for contents of Validator objectives does not work in some cases (#4755).

You may download the patches or full installers from the Reactis User Pages.

Best Regards,
The Reactis Team

Spacer