{"repository":{"description":"Tool for Verification of Programs with Pointers","owner":"ondrik","master_branch":"master","has_wiki":true,"open_issues":1,"watchers":4,"created_at":"2011-10-27T01:33:27-07:00","has_issues":false,"stargazers":4,"fork":true,"size":200,"homepage":"http://www.fit.vutbr.cz/research/groups/verifit/tools/forester","language":"C","pushed_at":"2012-12-31T08:44:03-08:00","forks":2,"private":false,"has_downloads":true},"actor_attributes":{"email":"93513a1ca51cb5aef98be0b34efd39c6b261a84a@etu.univ-tours.fr","type":"User","name":"Vernou Cédric"},"url":"https://github.com/ondrik/forester/pull/1"}