--- rpl/LIMITATIONS	2012/09/15 12:57:08	1.88
+++ rpl/LIMITATIONS	2013/03/08 14:55:38	1.106
@@ -1,6 +1,8 @@
 RESTRICTIONS
 	Only formatted and flow files are supported.
 
+Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
+
 À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N))
 SOCKET NON FORMATÉS
 
@@ -12,9 +14,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
@@ -24,14 +23,14 @@ avec un trylock()).
 
 rplss signal processus
 
-Rajouter le format dans formateur_flux() (pour les fichiers de type flow).
-
 Économisons notre mépris eut égard au nombre de nécessiteux.
 Chateaubriand.
 
 Translitération des fichiers (avec un pointeur sur la localisation du fichier
 dans la structure du fichier).
 
+Fait : complexe, entier, liste, réel
+
 Fichiers non formatés : restent à coder pour les écritures :
          * 0000 XXXX                Binaire sur XXXX octets
          * 0010 00 00               vecteur integer*1 (dimensions integer*1)