{"push_id":1033541141,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"29fbf7c6dcd0ccd39989e4f41886ee8ce51968c0","before":"1da0d25b369c354ef01149b0b3024bbca302bcf3","commits":[{"sha":"29fbf7c6dcd0ccd39989e4f41886ee8ce51968c0","author":{"email":"f965a4a1b587c4e3c1892642aed563e43902502b@lukasczyk.me","name":"Stephan Lukasczyk"},"message":"Add config file for Predicate Analysis' heaparray configuration\n\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@20423 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/29fbf7c6dcd0ccd39989e4f41886ee8ce51968c0"}]}