{"push_id":550930202,"size":1,"distinct_size":1,"ref":"refs/heads/svproj-bddvarorder","head":"d9b5b304478c3d1c5d036aa6c8c2017e50a82eec","before":"fb6d95b69354223827dd9e4ff229fe4e6a7fa52b","commits":[{"sha":"d9b5b304478c3d1c5d036aa6c8c2017e50a82eec","author":{"email":"660f96dd583616e8db4d365e504e181aa45f9fca@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"wollerch"},"message":"Changed mode to single partition by similarity\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/svproj-bddvarorder@15408 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/dbeyer/cpachecker/commits/d9b5b304478c3d1c5d036aa6c8c2017e50a82eec"}]}