--- rpl/LIMITATIONS	2013/03/20 22:24:36	1.118
+++ rpl/LIMITATIONS	2013/03/24 22:06:09	1.125
@@ -1,15 +1,15 @@
 RESTRICTIONS
 	Only formatted and flow files are supported.
 
+mutex foireux : mutex_creation_variable_partagee f1:554
+variables_partagee 466 verrouillé.
+variables_partagee 523 verrouillé.
+
 { <[ 2 { "character*(*)" } ]> } = { <[ "character*(*)" "character*(*)" ]> }
 { <[ 2 { <[ "character*(*)" "standard*(*)" ]> } ]> } =
 		{ <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)"
 		"standard*(*)" ]> ]> }
 
-Tester la taille des matrices dans les appels à Lapack !
-longueur_message dans chiffrement => int à tester !
-Virer les cast (long)
-
 Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
 
 Ajouter la translitération dans l'écriture des fichiers.
@@ -24,7 +24,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