Issue 900: integrate Stone Soup 2018 portfolio - Fast Downward issue tracker

Title	integrate Stone Soup 2018 portfolio
Priority	wish	Status	resolved
Superseder		Nosy List	jendrik, malte, silvan
Assigned To	jendrik	Keywords
Optional summary

Created on 2019-03-02.11:24:46 by jendrik, last changed by jendrik.

Messages
msg8856 (view)	Author: jendrik	Date: 2019-06-06.19:05:46
Thanks, Silvan! I took care of Silvan's comments and merged the code. In the end, I decided against merging the Remix portfolio since it has so many configurations, which adds a considerable maintainance burden. I'm changing the issue title accordingly.
msg8850 (view)	Author: silvan	Date: 2019-06-06.15:53:24
I had a look, but since this adds 1800 lines of code, I didn't have a look at the configs in any detail. I just left some comments regarding the "documentation" of the configs.
msg8761 (view)	Author: malte	Date: 2019-04-14.17:10:49
Looks good to me, but for completeness, I suggest you ask someone else to have a look.
msg8760 (view)	Author: jendrik	Date: 2019-04-14.14:13:40
I made a pull request at https://bitbucket.org/jendrikseipp/downward/pull-requests/133 .
msg8583 (view)	Author: malte	Date: 2019-03-02.18:08:34
900!
msg8581 (view)	Author: jendrik	Date: 2019-03-02.11:24:46
I'd like to integrate the Stone Soup and Remix portfolios from IPC 2018.

History
Date	User	Action	Args
2019-06-06 19:05:46	jendrik	set	status: reviewing -> resolved messages: + msg8856 title: integrate IPC 2018 portfolios -> integrate Stone Soup 2018 portfolio
2019-06-06 15:53:24	silvan	set	nosy: + silvan messages: + msg8850
2019-04-14 17:10:49	malte	set	messages: + msg8761
2019-04-14 14:13:40	jendrik	set	status: chatting -> reviewing messages: + msg8760
2019-03-02 18:08:34	malte	set	status: unread -> chatting messages: + msg8583
2019-03-02 11:24:46	jendrik	create