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