|
version 1.116, 2013/03/19 13:14:44
|
version 1.117, 2013/03/20 17:11:42
|
|
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. |
![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to LIMITATIONS CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [local] / rpl