HTTPS SSH
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.