{"repository":{"description":"CPAchecker branches for the new predicate analysis with uninterpreted functions","watchers":0,"stargazers":0,"forks":0,"fork":false,"size":238548,"owner":"schrodibear","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"C","created_at":"2013-09-20T06:57:40-07:00","pushed_at":"2013-10-08T07:25:29-07:00","master_branch":"pointer-predicates"},"actor_attributes":{"type":"User","name":"Mikhail","company":"ISP RAS","location":"Moscow","email":"de6f262bf0f28afc4453414a906ea413373e12a7@gmail.com"},"url":"https://github.com/schrodibear/cpachecker/compare/c-to-formula-wih-UF-to-master"}