{"push_id":900132130,"size":1,"distinct_size":1,"ref":"refs/heads/cfaSequencer","head":"6096a0dafd4c92140729cfd1853cabd30dc775dd","before":"ffdd0e6acd5b84112691144531f472ea0897ac0b","commits":[{"sha":"6096a0dafd4c92140729cfd1853cabd30dc775dd","author":{"email":"6d9cc3af58069c4fb9b6033b543478eb0c53e196@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"syri"},"message":"adapted the cfa check\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/cfaSequencer@18927 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/6096a0dafd4c92140729cfd1853cabd30dc775dd"}]}