version 1.119, 2013/03/21 12:07:38
|
version 1.121, 2013/03/23 16:08: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)) |