{"repository":{"description":"A Separation Logic-Based GCC Plug-in for Checking Manipulation of Dynamic Data Structures","open_issues":0,"pushed_at":"2012/05/12 16:20:40 -0700","homepage":"http://www.fit.vutbr.cz/research/groups/verifit/tools/predator","watchers":9,"has_downloads":true,"fork":false,"master_branch":"master","size":304,"private":false,"owner":"kdudka","has_issues":true,"has_wiki":true,"forks":7,"language":"C","created_at":"2010/03/31 02:12:51 -0700"},"actor_attributes":{"name":"Kamil Dudka","company":"Red Hat","location":"Brno, Czech Republic","blog":"","type":"User","email":"2108fa8125a64e9f750e06f0db1e76a9d9296af7@redhat.com"},"url":"https://github.com/kdudka/predator/compare/2997230192...1948e60bc1"}