rpl/LIMITATIONS - diff

Return to LIMITATIONS CVS log

Up to [local] / rpl

version 1.116, 2013/03/19 13:14:44	version 1.118, 2013/03/20 22:24:36
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.