Fresh array tests and documenation stub

mc-imperial / gpuverify

GPUVerify: a Verifier for GPU Kernels

http://multicore.doc.ic.ac.uk/tools/GPUVerify/

Other

58 stars 15 forks source link

Closed jeroenk closed 6 years ago

afd commented 6 years ago

Thanks for the tests, which look very thorough - please go ahead and merge.