Re: RFA: fix dbr_schedule to leave unique ids unique

Joern Rennecke joern.renne...@embecosm.com writes: Quoting Richard Sandiford rdsandif...@googlemail.com: Joern Rennecke joern.renne...@embecosm.com writes: Quoting Richard Sandiford rdsandif...@googlemail.com: The fact that we even have shared unique ids is pretty bad -- and surely a

RFA: fix dbr_schedule to leave unique ids unique

Quoting Richard Sandiford rdsandif...@googlemail.com: Joern Rennecke joern.renne...@embecosm.com writes: Quoting Richard Sandiford rdsandif...@googlemail.com: The fact that we even have shared unique ids is pretty bad -- and surely a contradiction in terms -- but I think both ways of handling