{"repository":{"has_issues":true,"description":"Looper provides functionality to get data needed for creating a taxonomy of loop invariants.","owner":"hsanchez","has_downloads":true,"pushed_at":"2013-02-04T13:53:45-08:00","forks":1,"has_wiki":true,"fork":false,"size":124,"watchers":0,"private":false,"open_issues":1,"stargazers":0,"created_at":"2013-02-04T10:59:52-08:00"},"actor_attributes":{"company":"University of California","location":"Santa Cruz, CA, USA","type":"User","name":"Zhongpeng Lin","blog":"http://users.soe.ucsc.edu/~linzhp/","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/hsanchez/looper/pull/1"}