Mentions légales du service

RMA-STATIC: Add the feature that allows to detect data races at target side from origin point of view

VINAYAGAME Radjasouriarequested to merge
RMA_static_upgrade into master

Add the feature that allows to detect data races at target side from origin point of view in the static analysis of data races in MPI-RMA programs.

Merge request reports