{"push_id":558496271,"size":1,"distinct_size":1,"ref":"refs/heads/bamRecursion","head":"efaca1591f33cf24ac5351c299b4f824edc676e4","before":"b0f84a8abe45fc8cdd0c52589009b4d6c5b99558","commits":[{"sha":"efaca1591f33cf24ac5351c299b4f824edc676e4","author":{"email":"ac0bf0410e278f3401f45c41c52aee879da8699a@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"friedber"},"message":"renaming enum, updating documentation\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/bamRecursion@15531 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/dbeyer/cpachecker/commits/efaca1591f33cf24ac5351c299b4f824edc676e4"}]}