const char *g_gpgpusim_version_string = "GPGPU-Sim Simulator Version 3.1.1 ";
const char *g_gpgpusim_build_string   = "$Change$";