Reactis for Simulink V2024.0.1, V2023.2.3

August 23, 2024

Dear Reactis User:

Reactis® V2024.0.1 and V2023.2.3 are now available.

Reactis V2024.0.1

The following bugs were fixed since V2024:

"bug: None is not a member of enumerated type [x]" for some Stateflow charts (#5526)
"bug: while trigger without while expression" when using harness on a "For" or "While" subsystem (#5468)
"bug: signal base type undefined" for some models containing Goto blocks within Variant Source paths (#5459)
"bug: unhandled data type expression "Inherit:SameAsSimulink" (#5462)
"bug: interfaces/mwi/mwi-varlist.sml, insertExpr: Variable .. is not declared" for some models containing Variant Source block (#5465)
"bug: unknown signal size" for some models containing "Variant Source" block (#5473)
Error: propagating conditions outside of variant subsystem currently not supported (#5503)
In toolbar, wrong icon used for zoom to fit (#5456)
"bug: Variable [Action/Enable/Trigger Port] is not declared" if Action/Enable/Trigger port blocks are masked (#5477)
"Error: Undefined port reference" for some models using variant source blocks connected to subsystem outports (#5480)
"bug: addVariantConnections.addOutportConnectionByName: outport [...] not found" (#5516)
Calling memcpy from within C Caller block fails on Simulink arrays (#5519)

The following bugs were fixed since V2023.2.2:

"bug: None is not a member of enumerated type [x]" for some Stateflow charts (#5526)
"bug: while trigger without while expression" when using harness on a "For" or "While" subsystem (#5468)
"bug: unhandled data type expression "Inherit:SameAsSimulink" (#5462)
"bug: signal base type undefined" for some models containing Goto blocks within Variant Source paths (#5459)
"bug: interfaces/mwi/mwi-varlist.sml, insertExpr: Variable .. is not declared" for some models containing Variant Source block (#5465)
"bug: unknown signal size" for some models containing "Variant Source" block (#5473)
Error: propagating conditions outside of variant subsystem currently not supported (#5503)
Targets that depend on floating-point to integer conversion may be incorrectly marked as unreachable (#5427)
"bug: Variable [Action/Enable/Trigger Port] is not declared" if Action/Enable/Trigger port blocks are masked (#5477)
"Error: Undefined port reference" for some models using variant source blocks connected to subsystem outports (#5480)
"bug: addVariantConnections.addOutportConnectionByName: outport [...] not found" (#5516)

Reactis is a registered trademark of Reactive Systems, Inc. Stateflow and MATLAB are registered trademarks of MathWorks, Inc.

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

Best Regards,
The Reactis Team