Diff for /rpl/LIMITATIONS between versions 1.103 and 1.105

version 1.103, 2013/03/05 16:26:46 version 1.105, 2013/03/06 13:21:23
Line 6  transformer le semop en non bloquant). Line 6  transformer le semop en non bloquant).
   
 Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.  Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
   
 evaluation-conv.c:5888:64: warning: ‘registre_erreur_systeme’ may be used  
 uninitialized in this function [-Wuninitialized]  
 evaluation-conv.c:5890:59: warning: ‘registre_exception’ may be used  
 uninitialized in this function [-Wuninitialized]  
 evaluation-conv.c:5886:66: warning: ‘registre_erreur_execution’ may be used  
 uninitialized in this function [-Wuninitialized]  
   
   
 BUG :  
 toto  
 <<  
     // truc qui fait une erreur  
 >>  
   
 { } forall  
     'toto' eval  
 next  
   
 EMSGSIZE dans les send() !  
   
 À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N))  À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N))
 SOCKET NON FORMATÉS  SOCKET NON FORMATÉS
   
Line 46  avec un trylock()). Line 26  avec un trylock()).
   
 rplss signal processus  rplss signal processus
   
 Rajouter le format dans formateur_flux() (pour les fichiers de type flow).  
   
 Économisons notre mépris eut égard au nombre de nécessiteux.  Économisons notre mépris eut égard au nombre de nécessiteux.
 Chateaubriand.  Chateaubriand.
   

Removed from v.1.103  
changed lines
  Added in v.1.105


CVSweb interface <joel.bertrand@systella.fr>