Improvements

Java 21 support

In BMA 6.4.0 we have updated the Java version for the BMA Scanner and BMA Quality Gate to Java 21. The BMA Sonar Plugin still uses Java 17 to be compatible with Sonarqube.

Blueriq 17.0 support

We have update the Studio data model to Blueriq 17.0. Older versions of Blueriq are not supported.

Tautology and contradiction simplifications

The expression simplifier is now better able to reason about logic that is always TRUE (a tautology) or always FALSE (a contradiction). These logic concepts require special care to account for the ternary logic that Blueriq uses: if a term can be unknown then a tautology or contradiction also evaluates to unknown, not just TRUE or FALSE. Previously, the BMA was could be conservative when it came to those situations and always may retained the term, equating it to itself: (A = A)  or (A != A). When A  cannot be unknown, though, the entire term can be dropped in its entirety. This is what the BMA now does, potentially resulting in more expressions that can be simplified.

Upgrade instructions

For the upgrade to BMA 6.4.0 please follow the usual Upgrade Instructions.

Artifacts

The Blueriq artifacts are available under name: 6.4.0

Retirement announcement

There are no specific retirement announcements.