There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
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.