--- rpl/LIMITATIONS	2013/03/05 22:33:55	1.104
+++ rpl/LIMITATIONS	2013/03/12 16:16:24	1.111
@@ -1,22 +1,15 @@
 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).
+Corriger toutes les ABS() sur des entiers pour tester le cas
+abs(-128) en 8 bits par exemple...
 
 Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
 
-BUG :
-toto
-<<
-	// truc qui fait une erreur
->>
-
-{ } forall
-	'toto' eval
-next
+Traiter l'échappement des guilles dans BACKSPACE par une machine à états.
+Ajouter la translitération dans l'écriture des fichiers.
 
-EMSGSIZE dans les send() !
+Ajouter un format NATIVE pour les expressions et les fonctions
 
 À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N))
 SOCKET NON FORMATÉS
@@ -38,8 +31,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.
 
@@ -47,7 +38,6 @@ Translitération des fichiers (avec un p
 dans la structure du fichier).
 
 Fichiers non formatés : restent à coder pour les écritures :
-         * 0000 XXXX                Binaire sur XXXX octets
          * 0010 00 00               vecteur integer*1 (dimensions integer*1)
          * 0010 01 00               vecteur integer*1 (dimensions integer*2)
          * 0010 10 00               vecteur integer*1 (dimensions integer*4)
@@ -86,8 +76,6 @@ Fichiers non formatés : restent à code
          * 0110 10 LL
          * 0111 0 XXX               expression algébrique
          * 0111 10 LL
-         * 1000 0 XXX               chaîne de caractères
-         * 1000 10 LL
          * 1001 0 XXX               table de longueur XXX
          * 1001 10 00               table de longueur integer*1
          * 1001 10 01               table de longueur integer*2