Issue1119

Issues
Show Unassigned
Show All
Search

Login




Register
Lost your login?

Help
Roundup docs

Title fix SoPlex interface
Priority bug Status resolved
Superseder Nosy List florian, jendrik, malte
Assigned To jendrik Keywords
Optional summary 
Pull request: https://github.com/aibasel/downward/pull/187

Created on 2023-10-04.22:22:26 by jendrik, last changed by jendrik.

Summary
Pull request: https://github.com/aibasel/downward/pull/187
Messages
msg11436 (view) Author: jendrik Date: 2023-10-06.11:37:11 
Merged.
msg11426 (view) Author: florian Date: 2023-10-04.22:51:15 
Looks good to me.
msg11425 (view) Author: jendrik Date: 2023-10-04.22:22:26 
I think two method names in the SoPlex interface need to be switched. I'll also make two drive-by fixes in the same file.
History
Date User Action Args
2023-10-06 11:37:11jendriksetstatus: reviewing -> resolved
messages: + msg11436
2023-10-04 22:51:15floriansetmessages: + msg11426
2023-10-04 22:25:22jendriksetstatus: unread -> reviewing
summary: Pull request: https://github.com/aibasel/downward/pull/187
2023-10-04 22:22:26jendrikcreate