--- rpl/LIMITATIONS 2013/03/20 22:24:36 1.118 +++ rpl/LIMITATIONS 2013/03/27 09:14:50 1.129 @@ -1,15 +1,16 @@ RESTRICTIONS Only formatted and flow files are supported. +Corriger les dépassements dans NEG. +Mettre le drapeau de debug dans la pile système pour pouvoir sauter +les fonctions appelées lors d'un HALT/CONT. +Réduire le nombre de pipes entre deux processus. + { <[ 2 { "character*(*)" } ]> } = { <[ "character*(*)" "character*(*)" ]> } { <[ 2 { <[ "character*(*)" "standard*(*)" ]> } ]> } = { <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)" "standard*(*)" ]> ]> } -Tester la taille des matrices dans les appels à Lapack ! -longueur_message dans chiffrement => int à tester ! -Virer les cast (long) - Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. Ajouter la translitération dans l'écriture des fichiers. @@ -24,7 +25,12 @@ sys/un.h regex.h termios.h -Ajouter une évaluation dans GET et PUT 'X' { I } get +Ajouter une évaluation des listes. + +3 'D(4)' sto/save +<< 4 D >> L'avant dernier token est un tableau, une liste, un vecteur ou une +matrice. On teste pour savoir si l'élément existe avec un coup d'évaluation() +puis on l'enregistre. Ajouter STOSIG CLRSIG SIGLOCK SIGUNLOCK SIGQUEUE ISIG WFSIG RCLSIG SIGSTATUS Mettre un masque des signaux dans structure_processus et les