--- rpl/LIMITATIONS	2012/06/25 09:58:33	1.84
+++ rpl/LIMITATIONS	2013/03/04 13:00:26	1.102
@@ -1,6 +1,27 @@
 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.
+
+
+BUG :
+toto
+<<
+	// truc qui fait une erreur
+>>
+
+{ } forall
+	'toto' eval
+next
+
+EMSGSIZE dans les send() !
+
+À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N))
+SOCKET NON FORMATÉS
+
 Pour OpenVMS :
 Trouver les includes pour :
 syslog.h
@@ -9,9 +30,6 @@ sys/un.h
 regex.h
 termios.h
 
-
-Ajouter { } FORALL/NEXT et <[ ]> FORALL/NEXT
-
 Ajouter une évaluation dans GET et PUT 'X' { I } get
 
 Ajouter STOSIG CLRSIG SIGLOCK SIGUNLOCK SIGQUEUE ISIG WFSIG RCLSIG SIGSTATUS