diff --git a/TODOLIST b/TODOLIST deleted file mode 100644 index d899bc80775e1d59fd18cce2af963b3793e1e233..0000000000000000000000000000000000000000 --- a/TODOLIST +++ /dev/null @@ -1,18 +0,0 @@ -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 - -PRAGMAS : - -Si on utilise pas les pragmas -> passer dans toutes les fonctions : Oui - -Reconnaitre les noms de fonctions et filtrer dans la gate : Oui - -Ne pas mettre deux fois la meme fonction via les pragmas : Oui - -Pas de pragma dans les fonctions : Oui - -Warning envoyé si l'utilisateur a donné une fonction qui n'existe pas dans le source : Oui -