Issue 715: assign open lists their own plugin and namespace - Fast Downward issue tracker

Title	assign open lists their own plugin and namespace
Priority	wish	Status	resolved
Superseder		Nosy List	danielk, florian, jendrik, malte
Assigned To	danielk	Keywords
Optional summary

Created on 2017-04-22.14:03:30 by danielk, last changed by jendrik.

Messages
msg6222 (view)	Author: jendrik	Date: 2017-04-26.12:26:27
Merged and pushed. Thanks, Daniel!
msg6221 (view)	Author: jendrik	Date: 2017-04-25.22:32:14
I made a few minor comments at Bitbucket. Once they're dealt with, I think this could be merged without someone else having a second look.
msg6220 (view)	Author: danielk	Date: 2017-04-25.18:27:28
Pull request is now ready to be reviewed. https://bitbucket.org/danielkillenberger/fast-downward/pull-requests/4/
msg6208 (view)	Author: jendrik	Date: 2017-04-24.15:54:41
Done: I added cross-references in issue64 and issue610.
msg6205 (view)	Author: florian	Date: 2017-04-24.13:31:01
Could you add a cross reference to issue64 (also for any upcoming issues about namespaces)?
msg6204 (view)	Author: danielk	Date: 2017-04-22.14:03:30
In order to further reduce the size of CORE_SOURCES add a plugin for each open list and give it its own namespace.

History
Date	User	Action	Args
2017-04-26 12:26:27	jendrik	set	status: reviewing -> resolved messages: + msg6222 title: Assign open lists their own plugin and namespaces -> assign open lists their own plugin and namespace
2017-04-25 22:32:14	jendrik	set	messages: + msg6221
2017-04-25 18:27:28	danielk	set	status: in-progress -> reviewing messages: + msg6220
2017-04-24 15:54:41	jendrik	set	messages: + msg6208
2017-04-24 13:31:01	florian	set	nosy: + florian messages: + msg6205
2017-04-22 14:03:30	danielk	create