Title Clean up obsolete Heuristic forward definitions and heuristic.h includes
Priority feature Status resolved
Superseder Nosy List florian, guillem, jendrik, malte
Assigned To guillem Keywords
Optional summary

Created on 2018-09-13.17:04:09 by guillem, last changed by guillem.

msg7446 (view) Author: guillem Date: 2018-09-13.20:39:40
Sounds good, I merged.
Don't like too much the bitbucket pipelines since the last time they created 
automatically a commit without asking for permission just to trigger the whole 
thing :-) But ran the tests locally.
msg7444 (view) Author: florian Date: 2018-09-13.18:29:18
There is not much to review here. If everything compiles and the tests pass, I
think this can be merged. You can enable pipelines in your bitbucket account and
some tests will be run automatically for your commits.
msg7442 (view) Author: guillem Date: 2018-09-13.17:39:49
Revised includes and forward definitions related to Heuristic:
msg7440 (view) Author: guillem Date: 2018-09-13.17:04:09
Subissue of issue727
Date User Action Args
2018-09-13 20:39:40guillemsetstatus: reviewing -> resolved
messages: + msg7446
2018-09-13 18:29:18floriansetnosy: + florian
messages: + msg7444
2018-09-13 17:39:49guillemsetstatus: in-progress -> reviewing
messages: + msg7442
2018-09-13 17:05:25jendriksetnosy: + malte, jendrik
2018-09-13 17:04:09guillemcreate