--- rpl/LIMITATIONS 2011/12/01 17:21:37 1.62 +++ rpl/LIMITATIONS 2012/12/21 12:09:50 1.99 @@ -1,9 +1,29 @@ RESTRICTIONS - Only sequential formatted files are supported. + Only formatted and flow files are supported. -TYPE: 18446744072742037448 retourne une valeur erronée (9.22337203685478E18) +Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. -Mettre des integer8 dans toutes les structures +EMSGSIZE dans les send() ! + +À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N)) +SOCKET NON FORMATÉS + +Pour OpenVMS : +Trouver les includes pour : +syslog.h +sys/select.h +sys/un.h +regex.h +termios.h + +Ajouter une évaluation dans GET et PUT 'X' { I } get + +Ajouter STOSIG CLRSIG SIGLOCK SIGUNLOCK SIGQUEUE ISIG WFSIG RCLSIG SIGSTATUS +Mettre un masque des signaux dans structure_processus et les +tableaux des signaux en variable globale (buffer circulaire protégé par un mutex +avec un trylock()). + +rplss signal processus Rajouter le format dans formateur_flux() (pour les fichiers de type flow).