Skip to content

srg-imperial/klee-fp-parboil-opencl

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

38 Commits
 
 
 
 
 
 
 
 

Repository files navigation

I. SETUP

Edit file common/common.mk and adjust the OpenCL platform (eg "NVIDIA CUDA") and the
OpenCL device ID.


II. BENCHMARKS

Open the benchmark's folder in the benchmarks directory. Each folder contains a README
describing how to compile and run the benchmark.


About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published