Merging CCP and VRP?

[Steven Bosscher]

On Mar 28, 2005 03:08 AM, Kazu Hirata <kazu@cs.umass.edu> wrote:
> Huh, whey I talked to them on IRC they didn't seem to have implemented
> this.  I'll try to get this issue one of these days.

Ehm.  I did in fact implement this.  The trouble was that inserting
blocks into the worklist got more expensive, so there was no overall
win.  You need a smart data structure to allow quick inserts and
quick traverses.  My implementation wasn't very smart, I mostly did
it to see if it would cause things to fall through the lattice more
quickly (and it did).

Gr.
Steven