![[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|
Return to LIMITATIONS CVS log | Up to [local] / rpl |
| version 1.117, 2013/03/20 17:11:42 | version 1.118, 2013/03/20 22:24:36 |
|---|---|
| Line 8 RESTRICTIONS | Line 8 RESTRICTIONS |
| Tester la taille des matrices dans les appels à Lapack ! | Tester la taille des matrices dans les appels à Lapack ! |
| longueur_message dans chiffrement => int à tester ! | longueur_message dans chiffrement => int à tester ! |
| Virer les cast (long) | |
| Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. | Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. |