--- rpl/LIMITATIONS	2013/03/15 11:37:25	1.112
+++ rpl/LIMITATIONS	2013/03/20 17:11:42	1.117
@@ -1,18 +1,14 @@
 RESTRICTIONS
 	Only formatted and flow files are supported.
 
-Corriger toutes les ABS() sur des entiers pour tester le cas
-abs(-128) en 8 bits par exemple...
-
-Ajouter le format NATIVE pour les expressions et les fonctions.
-
-{ "character*(*)" }
-
 { <[ 2 { "character*(*)" } ]> } = { <[ "character*(*)" "character*(*)" ]> }
 { <[ 2 { <[ "character*(*)" "standard*(*)" ]> } ]> } =
 		{ <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)"
 		"standard*(*)" ]> ]> }
 
+Tester la taille des matrices dans les appels à Lapack !
+longueur_message dans chiffrement => int à tester !
+
 Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
 
 Ajouter la translitération dans l'écriture des fichiers.
@@ -75,12 +71,7 @@ Fichiers non formatés : restent à code
          * 0011 01 11               matrice integer*8 (dimensions integer*2)
          * 0011 10 11               matrice integer*8 (dimensions integer*4)
          * 0011 11 11               matrice integer*8 (dimensions integer*8)
-         * 0101 0 XXX               nom de longueur XXX
-         * 0101 10 LL               nom de longueur integer*LL
-         * 0110 0 XXX               expression RPN
-         * 0110 10 LL
-         * 0111 0 XXX               expression algébrique
-         * 0111 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