--- rpl/LIMITATIONS	2012/09/10 15:53:20	1.87
+++ rpl/LIMITATIONS	2012/12/21 12:09:50	1.99
@@ -1,6 +1,10 @@
 RESTRICTIONS
 	Only formatted and flow files are supported.
 
+Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
+
+EMSGSIZE dans les send() !
+
 À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N))
 SOCKET NON FORMATÉS
 
@@ -12,11 +16,6 @@ sys/un.h
 regex.h
 termios.h
 
-
-Ajouter { } FORALL/NEXT et <[ ]> FORALL/NEXT
-Ajouter CRITICAL/END -> stoppe l'exécution des threads parallèles :
-implanté par un mutex recursif au début de analyse()
-
 Ajouter une évaluation dans GET et PUT 'X' { I } get
 
 Ajouter STOSIG CLRSIG SIGLOCK SIGUNLOCK SIGQUEUE ISIG WFSIG RCLSIG SIGSTATUS