rpl/LIMITATIONS - diff

Return to LIMITATIONS CVS log

Up to [local] / rpl

-version 1.129, 2013/03/27 09:14:50
+version 1.143, 2013/05/30 09:41:41
  Line 1
  RESTRICTIONS
-     Only formatted and flow files are supported.
- Corriger les dépassements dans NEG.
+ Ne passe pas sur une socket.
- Mettre le drapeau de debug dans la pile système pour pouvoir sauter
+ { "STAT" 0 { { } { 5 55 } { 4 51 } { 3 50 } { 3 51 } { 3 50 } { 17 78 } { 4 52
- les fonctions appelées lors d'un HALT/CONT.
+ } { 3 50 } { 3 50 } } # 257B521B6513F2h }
+ Idem avec une table.
  Réduire le nombre de pipes entre deux processus.
+ Remonter une erreur de format en cas de lecture sur un fichier ou une socket
+ formatée ou non formatée.
+ Échapper les caractères dans LOGGER
+ /usr/pkg/bin/bash dans les scripts
+ Virer mutex_sections_critiques _avant_ l'exécution de AT_EXIT.
+ Faut-il tuer les processus fils avant l'exécution de AT_EXIT ?
+ ABORT ne lance pas ATEXIT.
  { <[ 2 { "character*(*)" } ]> } = { <[ "character*(*)" "character*(*)" ]> }
  { <[ 2 { <[ "character*(*)" "standard*(*)" ]> } ]> } =
          { <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)"
          "standard*(*)" ]> ]> }
+ [[1 2 ]]3 valide
+ [[ 1 2]] valide
+ {{ 3 }} invalide
+ { 5} invalide
  Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
  Ajouter la translitération dans l'écriture des fichiers.