--- rpl/LIMITATIONS	2013/03/23 17:57:55	1.123
+++ rpl/LIMITATIONS	2014/07/23 16:00:24	1.151
@@ -1,11 +1,34 @@
 RESTRICTIONS
-	Only formatted and flow files are supported.
 
-{ <[ 2 { "character*(*)" } ]> } = { <[ "character*(*)" "character*(*)" ]> }
-{ <[ 2 { <[ "character*(*)" "standard*(*)" ]> } ]> } =
+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.
+
+{ <[ { "character*(*)" } 2 ]> } = { <[ "character*(*)" "character*(*)" ]> }
+{ <[ { <[ "character*(*)" "standard*(*)" ]> 2 } ]> } =
 		{ <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)"
 		"standard*(*)" ]> ]> }
 
+[[1 2 ]]3 valide
+[[ 1 2]] valide
+{{ 3 }} invalide
+{ 5} invalide
+
 Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
 
 Ajouter la translitération dans l'écriture des fichiers.
@@ -20,7 +43,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