GitHub repository: mpflanzer/clreduce
Primary language: Python
Created: 2016-04-14T18:46:16Z
Description: An automated method for detecting bugs in OpenCL compilers, by generating large random kernels using the CLsmith generator, identifying kernels that yield result differences, and using this novel extension to C-Reduce to automatically reduce such kernels to minimal forms that can be filed as bug reports.