search

mc-imperial / gpuverify

GPUVerify: a Verifier for GPU Kernels
http://multicore.doc.ic.ac.uk/tools/GPUVerify/
Other
58 stars 15 forks source link

Support the OpenCL C++ kernel language #16

Open jeroenk opened 6 years ago

jeroenk commented 6 years ago

This depends on Clang supporting the C++ kernel language.