--- rpl/LIMITATIONS 2013/03/23 16:08:28 1.121 +++ rpl/LIMITATIONS 2013/03/24 13:42:44 1.124 @@ -6,16 +6,8 @@ RESTRICTIONS { <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)" "standard*(*)" ]> ]> } -Rechercher les '"' pour être sûr qu'on ne traite que les chaînes de caractères -et non les guilles échappées. EN PARTICULIER REGARDE CE QUI SE PASSE DANS -ANALYSE_NOTATION_ALGEBRIQUE. - Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. -Traiter correctement le cas FORALL dans BACKTRACE (Index et Limit) -So bug dans socket (cannot send) => pas d'erreur dans rplcore. -sento => EAGAIN et EWOULDBLOCK - Ajouter la translitération dans l'écriture des fichiers. À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N)) @@ -28,7 +20,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