Le service GitLab de l'IRIT sera indisponible le 02/05/2024 de 7h00 à 7h30 en raison de l'opération de maintenance mensuelle prévue chaque premier mercredi du mois.
Version of the artifact as submitted to Euro-Par 2022
