{"push_id":747019936,"size":1,"distinct_size":1,"ref":"refs/heads/checkerInclTiger","head":"e1ff04c2e4610821decf148577e1c6d250f190a5","before":"712b529fc5c39b116c6fb52a775c58089c40022b","commits":[{"sha":"e1ff04c2e4610821decf148577e1c6d250f190a5","author":{"email":"c213daac9a1510142176620eed85940406c44327@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"buerdek"},"message":"merged tiger classes into cpachecker. Does not build yet.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/checkerInclTiger@17497 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/dbeyer/cpachecker/commits/e1ff04c2e4610821decf148577e1c6d250f190a5"}]}