Page History
Numbered Headings |
---|
ImprovementsJava 21 supportIn BMA 6.4.0 we have updated , the Java version for the BMA Scanner and BMA Quality Gate has been updated to Java 21. The BMA Sonar Plugin still uses Java 17 to be compatible with SonarqubeSonarQube. Blueriq 17.0 supportWe have update the The Studio data model has been updated to Blueriq 17.0. Older versions of Blueriq are not supported. Tautology and contradiction simplificationsThe 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 could be conservative when it came to those situations and may have retained the term, equating it to itself: ( Upgrade instructionsFor the upgrade to BMA 6.4.0 please follow the usual Upgrade Instructions. ArtifactsThe Blueriq artifacts are available under name: 6.4.0 Retirement announcementThere are no specific retirement announcements. |