For now, I've temporarily merged Raz's code, but this is not a final solution.
The old code has partial cost support now, but there are still some things that
need to be adapted, in particular the way that buckets are used during
shrinking. Currently, that old used is not included in the Makefile.
Since this is enough for the IPC, I'm demoting this to "bug".
|