Issue840

Issues
Show Unassigned
Show All
Search

Login




Register
Lost your login?

Help
Roundup docs

Title Use global registry only for plugin registering and pass argument otherwise
Priority feature Status resolved
Superseder Nosy List cedric, jendrik, malte, patfer, salome
Assigned To patfer Keywords
Optional summary 


















Created on 2018-09-20.14:53:06 by patfer, last changed  by salome.








 
Messages

 
  

   msg7714 (view)
   Author: salome
   Date: 2018-09-21.12:03:40
   
    
   
  

  

   
    
The issue is merged.

   		
  

 
 
  

   msg7703 (view)
   Author: malte
   Date: 2018-09-21.11:31:55
   
    
   
  

  

   
    
Left some final (hopefully ;-)) comments.

   		
  

 
 
  

   msg7702 (view)
   Author: cedric
   Date: 2018-09-21.11:19:04
   
    
   
  

  

   
    
Comment are incorporated. Can we merge?

   		
  

 
 
  

   msg7685 (view)
   Author: malte
   Date: 2018-09-20.23:18:32
   
    
   
  

  

   
    
Thanks! I left some comments on bitbucket. As discussed today, this touches many
of the same places in the code as issue836, so some coordination is needed when
merging.

   		
  

 
 
  

   msg7683 (view)
   Author: patfer
   Date: 2018-09-20.23:02:10
   
    
   
  

  

   
    
ready for reviewing PR:
https://bitbucket.org/PatFer/downward/pull-requests/7/issue840/diff

   		
  

 





History


Date
User
Action
Args



2018-09-21 12:03:40salomesetstatus: reviewing -> resolved
messages:
  + msg7714


2018-09-21 11:31:55maltesetmessages:
  + msg7703


2018-09-21 11:19:04cedricsetmessages:
  + msg7702


2018-09-20 23:18:32maltesetmessages:
  + msg7685


2018-09-20 23:02:10patfersetstatus: unread -> reviewing
messages:
  + msg7683


2018-09-20 14:53:06patfercreate