--- rpl/LIMITATIONS	2013/03/16 20:11:29	1.114
+++ rpl/LIMITATIONS	2013/03/23 16:08:28	1.121
@@ -6,8 +6,16 @@ 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))
@@ -68,12 +76,7 @@ Fichiers non formatés : restent à code
          * 0011 01 11               matrice integer*8 (dimensions integer*2)
          * 0011 10 11               matrice integer*8 (dimensions integer*4)
          * 0011 11 11               matrice integer*8 (dimensions integer*8)
-         * 0101 0 XXX               nom de longueur XXX
-         * 0101 10 LL               nom de longueur integer*LL
-         * 0110 0 XXX               expression RPN
-         * 0110 10 LL
-         * 0111 0 XXX               expression algébrique
-         * 0111 10 LL
+
          * 1001 0 XXX               table de longueur XXX
          * 1001 10 00               table de longueur integer*1
          * 1001 10 01               table de longueur integer*2