rpl/LIMITATIONS - diff

Return to LIMITATIONS CVS log

Up to [local] / rpl

version 1.118, 2013/03/20 22:24:36	version 1.119, 2013/03/21 12:07:38
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 !
Virer les cast (long)

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.