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

Address the second issue in #1 #25

Closed jeroenk closed 6 years ago

jeroenk commented 6 years ago

That is: #1 This is addressed by Zext'ing the generated components to match the bitwidth of the offset.