{"repository":{"description":"A SMT based LLVM code checker","homepage":"","watchers":1,"stargazers":1,"forks":0,"fork":false,"size":720,"owner":"hguenther","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Haskell","created_at":"2012-04-16T01:54:38-07:00","pushed_at":"2013-04-18T01:30:43-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Henning Günther","company":"TU Wien","blog":"http://forsyte.at/people/guenther/","email":"bbbe0b7bb637ab674d49618e0a81ffdb09351db7@forsyte.at"},"url":"https://github.com/"}