GitHub PushEvent at 2014-10-19 20:48:06
Repository: RESOLVE-Workspace
Actor: yushan87
Payload: {"shas":[["6d82f4513864a8a10d06f409c26efece49f6c8f3","45396dd60a3a171454af320121b9e2c81aa4531a@g.clemson.edu","changes the files a little bit so the new VC generator can generate VCs","Yu-Shan Sun",true],["3ca30a5ecafad82b1cb9b34a33c09fc8159e27df","45396dd60a3a171454af320121b9e2c81aa4531a@g.clemson.edu","Merge pull request #37 from yushan87/cpsc372-fixes\n\nchanges the files a little bit so the new VC generator can generate VCs","yushan87",true]],"size":2,"ref":"refs/heads/master","head":"3ca30a5ecafad82b1cb9b34a33c09fc8159e27df"}