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

Move predication from Boogie to GPUVerify #54

Closed afd closed 2 years ago

afd commented 2 years ago

Fixes #53.