rpl/LIMITATIONS - diff

Return to LIMITATIONS CVS log

Up to [local] / rpl

version 1.117, 2013/03/20 17:11:42	version 1.120, 2013/03/22 15:31:33
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.

	Traiter correctement le cas FORALL dans BACKTRACE (Index et Limit)
	So bug dans socket (cannot send) => pas d'erreur dans rplcore.
	sento => EAGAIN et EWOULDBLOCK

Ajouter la translitération dans l'écriture des fichiers.	Ajouter la translitération dans l'écriture des fichiers.

À FAIRE : SOCKET DE TYPE FLOW (LENGTH() ET LENGTH*(N))	À FAIRE : SOCKET DE TYPE FLOW (LENGTH() ET LENGTH*(N))