{"repository":{"homepage":"http://www.fit.vutbr.cz/research/groups/verifit/tools/forester","open_issues":0,"pushed_at":"2012/05/08 07:47:27 -0700","watchers":1,"fork":true,"has_downloads":true,"master_branch":"master","description":"Tool for Verification of Programs with Pointers","size":188,"private":false,"language":"C","created_at":"2012/05/08 07:29:38 -0700","owner":"quytc","has_issues":false,"has_wiki":true,"forks":0},"actor_attributes":{"type":"User","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/quytc/forester/compare/old-master"}