{"push_id":1395796386,"size":1,"distinct_size":1,"ref":"refs/heads/pointerAnalysis","head":"cf1672c20b6ee5ea650f482a01652388f96fd7f6","before":"9590ff878df28c046933a185ac72fdffc6b721d5","commits":[{"sha":"cf1672c20b6ee5ea650f482a01652388f96fd7f6","author":{"name":"Karlheinz Friedberger","email":"4a4837618a562d3f4cc88b3f7ce29533f4f087fa@gmail.com"},"message":"PointerCPA: change from 'Iterable' to 'Set'.\n\nThis simplifies some parts.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/pointerAnalysis@23589 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/cf1672c20b6ee5ea650f482a01652388f96fd7f6"}]}
{"actor":{"display_login":"dbeyer-bot"}}