{"repository":{"description":"This repository stores some of the core components of the Sireum software analysis platform.","forks":0,"owner":"drrobby","open_issues":0,"watchers":0,"has_downloads":true,"language":"Java","stargazers":0,"has_issues":true,"fork":false,"size":18268,"has_wiki":false,"created_at":"2012-10-17T10:07:15-07:00","private":false,"pushed_at":"2012-12-18T12:23:42-08:00"},"actor_attributes":{"type":"User","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/drrobby/sireum-core/compare/eb019ba653...29fbd51884"}