Jérome Perrin
authored
This reverts commit 9a84ef83. Eventhough there's a delay due to cache, the default worklist implementation is efficient and worklist is translated.
This reverts commit 9a84ef83. Eventhough there's a delay due to cache, the default worklist implementation is efficient and worklist is translated.