{"push_id":603266993,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"f0dc8c860aee91b5110ecee22125c92f27a6b89e","before":"e255e65f19f5cd98fcd6363378e4c929e0dd71c5","commits":[{"sha":"f0dc8c860aee91b5110ecee22125c92f27a6b89e","author":{"email":"6a1e3a77019418984eb4ab69e50955ef27b78ece@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"loewe"},"message":"remove (Initial)AssumptionUseDefinitionCollector, which is replaced by the UseDefRelation; replace last two occurances and use the use-def relation there, too\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@16252 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/dbeyer/cpachecker/commits/f0dc8c860aee91b5110ecee22125c92f27a6b89e"}]}