--- rpl/LIMITATIONS	2012/09/29 17:53:01	1.89
+++ rpl/LIMITATIONS	2013/03/06 13:21:23	1.105
@@ -1,6 +1,11 @@
 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.
+
 À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N))
 SOCKET NON FORMATÉS
 
@@ -12,13 +17,6 @@ sys/un.h
 regex.h
 termios.h
 
-
--> Vérifier les fuites mémoire dans tous les couples
-EXIT/CYCLE/RETURN avec des boucles FOR/START et FORALL
-
-Ajouter FORALL dans EXIT et RETURN et CYCLE (et dans tous les endroits où
-on doit faire une reprise sur erreur).
-
 Ajouter une évaluation dans GET et PUT 'X' { I } get
 
 Ajouter STOSIG CLRSIG SIGLOCK SIGUNLOCK SIGQUEUE ISIG WFSIG RCLSIG SIGSTATUS
@@ -28,8 +26,6 @@ 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.