--- rpl/LIMITATIONS	2013/03/15 11:37:25	1.112
+++ rpl/LIMITATIONS	2013/03/23 16:08:28	1.121
@@ -1,20 +1,21 @@
 RESTRICTIONS
 	Only formatted and flow files are supported.
 
-Corriger toutes les ABS() sur des entiers pour tester le cas
-abs(-128) en 8 bits par exemple...
-
-Ajouter le format NATIVE pour les expressions et les fonctions.
-
-{ "character*(*)" }
-
 { <[ 2 { "character*(*)" } ]> } = { <[ "character*(*)" "character*(*)" ]> }
 { <[ 2 { <[ "character*(*)" "standard*(*)" ]> } ]> } =
 		{ <[ <[ "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))
@@ -75,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