{"push_id":1056594141,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"fcb3960b70e403d99ed964748bc280424b8f57e2","before":"b1d6629fabc3b373f2d60dd6080e0126209de4ce","commits":[{"sha":"fcb3960b70e403d99ed964748bc280424b8f57e2","author":{"email":"f965a4a1b587c4e3c1892642aed563e43902502b@lukasczyk.me","name":"Stephan Lukasczyk"},"message":"Apply fixes from pointeraliasing to heap-array formula converter\n\nCf. SVN commits r20585, r20593, and r20594 or git hashes\n91a05250ddb96db021f9b671f049ad35ebbd211e,\n2c8dc679afe37fee86c225bb8fa7878e7f2845e2,\nb6ef92212e9e00bd5d08e7608cfc6bb04819ae09\nfor detailed description on these fixes.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@20612 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/fcb3960b70e403d99ed964748bc280424b8f57e2"}]}