version 1.116, 2013/03/19 13:14:44
|
version 1.120, 2013/03/22 15:31:33
|
Line 8 RESTRICTIONS
|
Line 8 RESTRICTIONS
|
|
|
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)) |