--- rpl/LIMITATIONS 2013/03/16 11:32:11 1.113 +++ rpl/LIMITATIONS 2013/03/20 17:11:42 1.117 @@ -1,15 +1,14 @@ RESTRICTIONS Only formatted and flow files are supported. -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. @@ -72,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