{"repository":{"description":"Simple model checker","watchers":1,"stargazers":1,"forks":0,"fork":false,"size":1124,"owner":"dkudrow","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"C","created_at":"2012-05-01T00:06:45-07:00","pushed_at":"2013-08-17T13:08:41-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Dani","blog":"dkudrow@blogspot.com","email":"a3a1ab613c28737c15beeea40b9cf1d6a838c257@hush.ai"},"url":"https://github.com/dkudrow/cs267/compare/hi_support"}