--- rpl/LIMITATIONS	2012/05/21 17:12:10	1.81
+++ rpl/LIMITATIONS	2013/03/05 16:26:46	1.103
@@ -1,10 +1,41 @@
 RESTRICTIONS
-	Only sequential formatted files are supported.
+	Only formatted and flow files are supported.
 
-typedef MY_TYPE...
-MY_TYPE a = { .flag = true, .value = 123, .stuff = 0.456 };
+Mettre un sémaphore pour sem_wait_SysV() (post dans le gestionnaire de signaux,
+transformer le semop en non bloquant).
 
-Ajouter { } FORALL/NEXT et <[ ]> FORALL/NEXT
+Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
+
+evaluation-conv.c:5888:64: warning: ‘registre_erreur_systeme’ may be used
+uninitialized in this function [-Wuninitialized]
+evaluation-conv.c:5890:59: warning: ‘registre_exception’ may be used
+uninitialized in this function [-Wuninitialized]
+evaluation-conv.c:5886:66: warning: ‘registre_erreur_execution’ may be used
+uninitialized in this function [-Wuninitialized]
+
+
+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
+sys/select.h
+sys/un.h
+regex.h
+termios.h
 
 Ajouter une évaluation dans GET et PUT 'X' { I } get