1. Improvements
1.1. 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.
1.2. Blueriq 17.0 support
We have update the Studio data model to Blueriq 17.0. Older versions of Blueriq are not supported.
1.3. 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 conservative when it came to those situations and always 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.
2. Upgrade instructions
For the upgrade to BMA 6.4.0 please follow the usual Upgrade Instructions.
3. Artifacts
The Blueriq artifacts are available under name: 6.4.0
4. Retirement announcement
There are no specific retirement announcements.