--- rpl/LIMITATIONS	2012/10/05 13:12:38	1.91
+++ rpl/LIMITATIONS	2013/02/23 12:39:44	1.101
@@ -1,11 +1,19 @@
 RESTRICTIONS
 	Only formatted and flow files are supported.
 
+Mettre un sémaphore pour sem_wait_SysV() (post dans le gestionnaire de signaux,
+transformer le semop en non bloquant).
+
+Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
+
+DIGEST
+CIPHER
+
+EMSGSIZE dans les send() !
+
 À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N))
 SOCKET NON FORMATÉS
 
-- copie_arbre_variables doit copier les variables statiques
-
 Pour OpenVMS :
 Trouver les includes pour :
 syslog.h