--- rpl/LIMITATIONS	2013/03/27 21:25:48	1.131
+++ rpl/LIMITATIONS	2014/07/21 09:33:37	1.150
@@ -1,8 +1,23 @@
 RESTRICTIONS
 
-Mettre le drapeau de debug dans la pile système pour pouvoir sauter
-les fonctions appelées lors d'un HALT/CONT.
+Vérifier les __CATCH_SYSTEM_ERROR__ dans rplexternals.h
+
+Ajouter EQV
+
+Ne passe pas sur une socket.
+{ "STAT" 0 { { } { 5 55 } { 4 51 } { 3 50 } { 3 51 } { 3 50 } { 17 78 } { 4 52
+} { 3 50 } { 3 50 } } # 257B521B6513F2h }
+Idem avec une table.
+
 Réduire le nombre de pipes entre deux processus.
+Remonter une erreur de format en cas de lecture sur un fichier ou une socket
+formatée ou non formatée.
+
+Échapper les caractères dans LOGGER
+
+Virer mutex_sections_critiques _avant_ l'exécution de AT_EXIT.
+Faut-il tuer les processus fils avant l'exécution de AT_EXIT ?
+ABORT ne lance pas ATEXIT.
 
 { <[ 2 { "character*(*)" } ]> } = { <[ "character*(*)" "character*(*)" ]> }
 { <[ 2 { <[ "character*(*)" "standard*(*)" ]> } ]> } =
@@ -14,9 +29,6 @@ Réduire le nombre de pipes entre deux p
 {{ 3 }} invalide
 { 5} invalide
 
-RPL/2> { 2}    
-+ 001> abort (^D) => revenir au prompt et non au shell
-
 Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
 
 Ajouter la translitération dans l'écriture des fichiers.