4 Commits

Author	SHA1	Message	Date
Todd Gamblin	cac4362f64	Make LICENSE recognizable by GitHub. (#4598)	2017-06-24 22:22:55 -07:00
Gregory Lee	3ade829566	new and updated PRUNERS tools (#3648)	2017-03-31 13:42:03 -05:00
Gregory Lee	158a1b9c36	fix OMPT support in Archer (#3035)	2017-02-05 23:34:38 -08:00
Gregory Lee	ccb07dc25e	added archer OpenMP race detector and its deps (#3030)	2017-02-04 15:42:22 -08:00