chriscummins / clreduce Goto Github PK
View Code? Open in Web Editor NEWThis project forked from mpflanzer/clreduce
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.