issues
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
Minor clean up in error reporter - Part 2
#47
Closed
jeroenk
closed
2 years ago