diff --git a/TODOLIST b/TODOLIST new file mode 100644 index 0000000000000000000000000000000000000000..19d94d413599e7eac584f47cdd6c3a8893577fee --- /dev/null +++ b/TODOLIST @@ -0,0 +1,5 @@ +Passe de compilation pour trouver les appels aux fonctions collectives : Oui + +Définition d'une numérotation permettant de suivre la position d'une fonction collective dans la séquence d'appel : Oui + +Utilisation de la frontière de post dominance itérée pour retrouver le noeud d'origine du deadlock potentiel : Non