{"repository":{"description":"SMACK: A Modular Software Verification Infrastructure","homepage":"","watchers":52,"stargazers":52,"forks":2,"fork":false,"size":2691,"owner":"smackers","private":false,"open_issues":7,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"C","created_at":"2012-07-30T08:32:57-07:00","pushed_at":"2013-10-29T01:57:06-07:00","master_branch":"master","organization":"smackers"},"actor_attributes":{"type":"User","name":"Zvonimir","company":"School of Computing, University of Utah","blog":"http://www.zvonimir.info/","location":"Salt Lake City","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/smackers/smack/issues/29#issuecomment-27313576"}