Message6638

Author florian
Recipients florian, jendrik, malte, mkatz
Date 2017-11-29.23:09:20
Content
With issue748 merged, this looks easier now. I tried to prepare a pull request
for this:
https://bitbucket.org/FlorianPommerening/downward-issues/pull-requests/30

There are still a lot of rough corners but I suggest we don't try to fix all of
them in this issue. The patch is already kind of big, so for example, i wouldn't
want to start changing the successor generator or axiom evaluator at the same time.
History
Date User Action Args
2017-11-29 23:09:20floriansetmessageid: <1511993360.2.0.275443215855.issue700@unibas.ch>
2017-11-29 23:09:20floriansetrecipients: + florian, malte, jendrik, mkatz
2017-11-29 23:09:20florianlinkissue700 messages
2017-11-29 23:09:20floriancreate