Issue840

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