version 1.117, 2013/03/20 17:11:42
|
version 1.122, 2013/03/23 17:46:28
|
Line 6 RESTRICTIONS
|
Line 6 RESTRICTIONS
|
{ <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)" |
{ <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)" |
"standard*(*)" ]> ]> } |
"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. |
Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. |
|
|
Ajouter la translitération dans l'écriture des fichiers. |
Ajouter la translitération dans l'écriture des fichiers. |