{"push_id":856640946,"size":1,"distinct_size":1,"ref":"refs/heads/checkerInclTiger","head":"77446cf03b7b97a95ab66a56a675eb69d88d038e","before":"e777dce3c14168c9cb7f097a9c6cb54480fea3dd","commits":[{"sha":"77446cf03b7b97a95ab66a56a675eb69d88d038e","author":{"email":"31fcd73d15b11811d7615ddf60fac7edd9845028@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"stahlbauer"},"message":"Added some helper classes\n\n\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/checkerInclTiger@18357 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/dbeyer/cpachecker/commits/77446cf03b7b97a95ab66a56a675eb69d88d038e"}]}