RiSE4fun samples for GPUVerify-OpenCLList of built-in samples for the GPUVerify-OpenCL in RiSE4funen-USrise4fun © 2017 Microsoft Corporationhttp://rise4fun.com//Images/Rise.gifRiSE4fun samples for GPUVerify-OpenCLhttp://rise4fun.com/GPUVerify-OpenCL/add_neighbour_bug.cladd_neighbour_bug.cl???http://rise4fun.com/GPUVerify-OpenCL/add_neighbour_correct.cladd_neighbour_correct.cl???http://rise4fun.com/GPUVerify-OpenCL/in_loop_barrier_divergence.clin_loop_barrier_divergence.cl???http://rise4fun.com/GPUVerify-OpenCL/reduction_bug.clreduction_bug.cl???http://rise4fun.com/GPUVerify-OpenCL/reduction_correct.clreduction_correct.cl???http://rise4fun.com/GPUVerify-OpenCL/simple_barrier_divergence.clsimple_barrier_divergence.cl???