MUST Release 1.9.0

Das MPI Korrektheitsanalysewerkzeug MUST ist jetzt in Version 1.9.0 verfügbar.
Die neue Version verbessert die Unterstützung für MPI-4-Funktionen und ‑Features wie partitionierte Punkt-zu-Punkt-Kommunikation. Darüber hinaus kann MUST nun auch die fehlerhafte Verwendung von OpenMP im Kontext von MPI überprüfen (z.B. falsches Thread-Level in MPI+OpenMP-Programmen). Weitere Änderungen sind maschinenlesbare Fehlerausgaben im JSON-Format und die Ausgabe von MPI-Funktionen, die nicht von MUST analysiert werden. Alle Informationen können auf der Projektseite gefunden werden.