{"repository":{"homepage":"http://www.fit.vutbr.cz/research/groups/verifit/tools/predator","owner":"kdudka","created_at":"2010-03-31T02:12:51-07:00","has_wiki":true,"has_issues":true,"description":"A Separation Logic-Based GCC Plug-in for Checking Manipulation of Dynamic Data Structures","watchers":11,"open_issues":0,"pushed_at":"2012-11-10T17:55:55-08:00","forks":8,"stargazers":11,"fork":false,"size":1935,"master_branch":"master","language":"C","private":false,"has_downloads":true},"actor_attributes":{"company":"Red Hat","email":"2108fa8125a64e9f750e06f0db1e76a9d9296af7@redhat.com","type":"User","name":"Kamil Dudka","blog":"","location":"Brno, Czech Republic"},"url":"https://github.com/kdudka/predator/compare/872f19d9b4...0148ea28ae"}