--- rpl/LIMITATIONS 2013/03/08 14:55:38 1.106 +++ rpl/LIMITATIONS 2013/03/10 17:01:05 1.107 @@ -3,6 +3,9 @@ RESTRICTIONS Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. +Traiter l'échappement des guilles dans BACKSPACE par une machine à états. +Ajouter la translitération dans l'écriture des fichiers. + À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N)) SOCKET NON FORMATÉS