rpl/LIMITATIONS - diff

Return to LIMITATIONS CVS log

Up to [local] / rpl

version 1.121, 2013/03/23 16:08:28	version 1.122, 2013/03/23 17:46:28
Line 6 RESTRICTIONS	Line 6 RESTRICTIONS
{ <[ <[ "character()" "standard()" ]> <[ "character()"	{ <[ <[ "character()" "standard()" ]> <[ "character()"
"standard()" ]> ]> }	"standard()" ]> ]> }

Rechercher les '"' pour être sûr qu'on ne traite que les chaînes de caractères
et non les guilles échappées. EN PARTICULIER REGARDE CE QUI SE PASSE DANS
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))