rpl/LIMITATIONS - diff

Return to LIMITATIONS CVS log

Up to [local] / rpl

version 1.118, 2013/03/20 22:24:36	version 1.121, 2013/03/23 16:08:28
Line 6 RESTRICTIONS	Line 6 RESTRICTIONS
{ <[ <[ "character()" "standard()" ]> <[ "character()"	{ <[ <[ "character()" "standard()" ]> <[ "character()"
"standard()" ]> ]> }	"standard()" ]> ]> }

Tester la taille des matrices dans les appels à Lapack !	Rechercher les '"' pour être sûr qu'on ne traite que les chaînes de caractères
longueur_message dans chiffrement => int à tester !	et non les guilles échappées. EN PARTICULIER REGARDE CE QUI SE PASSE DANS
Virer les cast (long)	ANALYSE_NOTATION_ALGEBRIQUE.

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))