Pushed to arekay/sgd-release
cd76eb5 Add micro.
82b44ee Profiling versions.
f7bcb71 Added micrbenchmarks and timing for EL kernels.
Run make to build all the targets. The device_default.config file defines the default platform and device to use. This can be changed to avoid recompiling the code to run on a different platform/device. The alternative is to change the default configuration in the ocl/ocl_header.cpp file and recompile the code. The matching versions generate matching files which are saved on disk and then reused on the same inputs. This significantly reduces the amount of time on subsequent runs. However, the size of the matching files can be very large - especially for large inputs. The inputs are read from .gr files, also used in the Galois framework.