{"repository":{"description":"KLEE Symbolic Virtual Machine","watchers":18,"stargazers":18,"forks":9,"fork":false,"size":264,"owner":"ccadar","private":false,"open_issues":2,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"C","created_at":"2013-07-21T15:03:03-07:00","pushed_at":"2013-08-30T08:49:31-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Lei Zhang","company":"University of Waterloo","location":"Waterloo","email":"a1e664ac04f89a841c0eb27855f37e4423cbc624@gmail.com"},"url":"https://github.com/ccadar/klee/pull/27"}