Mihai Preda

For OpenCL-only applications, that don't use HIP, probably a smaller set of packages is needed. I personally find "rocm-opencl" (with its dependencies) enough.

Yes I'm aware of the problem, I confirm it's a bug. The fix is not easy though. OpenCL does not make it easy to link the "logical" enumarion to the...

iGPUs are not the only ones that don't have unique_id. In fact only a subset of GPUs under ROCm have unique_id. As a clear example, Nvidia GPUs most likely don't...

It'll have to wait until after the SP experiments, sorry. I do plan to come back to this at some point, but priorities are mixing in. On Fri, 23 Oct...

No problem with OpenCL 3, only that I'm not sure it's implemented by ROCm yet. But yes will look in this direction, thanks for the pointers, just a bit busy...

Yes I think I can add GPU total memory probably, but why? what is the need? The user does have "clinfo" which provides pretty much all the info about a...

In which situation do you need this script to extract the proofs? when running with -pool, the proofs are automatically put together in the pool-dir/proof/ , so they are all...

Is this still actual/useful for merging?

Thanks, attempting to compile with rusticl is an useful exercise. And it's a good approach to simplify/remove the initial trouble bits (sum64) like you did just to get it to...

Which rusticl version are you using? if under Ubuntu, could be obtained as the version of the package mesa-opencl-icl. It might also be obtained with "gpuowl -h" or clinfo as...