{"repository":{"description":"Driver for verifying C libraries using the CBMC model-checker.","watchers":0,"stargazers":0,"forks":0,"fork":false,"size":152,"owner":"GaloisInc","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Haskell","created_at":"2013-04-08T11:37:21-07:00","pushed_at":"2013-04-10T12:46:10-07:00","master_branch":"master","organization":"GaloisInc"},"actor_attributes":{"type":"User","name":"Lee Pike","company":"Galois, Inc.","blog":"http://www.cs.indiana.edu/~lepike/","location":"Portland, Oregon, USA","email":"7401a49938e7e0cc0bc9b4de99ed9a8c58080447@gmail.com"},"url":"https://github.com/GaloisInc/cbmc-reporter/compare/3752339a3b...a530df835e"}