RiSE4fun samples for GPUVerify-OpenCLList of built-in samples for the GPUVerify-OpenCL in RiSE4funen-US<a target='_blank' href='https://go.microsoft.com/?linkid=2028325'>Contact Us</a>| <a target='_blank' href='https://go.microsoft.com/fwlink/?LinkId=521839'>Privacy &amp; Cookies</a> | <a target='_blank' href='https://go.microsoft.com/fwlink/?LinkID=246338'>Terms of Use</a> | <a target='_blank' href='https://go.microsoft.com/fwlink/?LinkId=506942 '>Trademarks</a>| &copy; 2017 Microsofthttps://rise4fun.com//Images/Rise.gifRiSE4fun samples for GPUVerify-OpenCLhttps://rise4fun.com/GPUVerify-OpenCL/add_neighbour_bug.cladd_neighbour_bug.cl???https://rise4fun.com/GPUVerify-OpenCL/add_neighbour_correct.cladd_neighbour_correct.cl???https://rise4fun.com/GPUVerify-OpenCL/in_loop_barrier_divergence.clin_loop_barrier_divergence.cl???https://rise4fun.com/GPUVerify-OpenCL/reduction_bug.clreduction_bug.cl???https://rise4fun.com/GPUVerify-OpenCL/reduction_correct.clreduction_correct.cl???https://rise4fun.com/GPUVerify-OpenCL/simple_barrier_divergence.clsimple_barrier_divergence.cl???