{"push_id":771899219,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"4635def6df38e04d49d1c7eb863238b23159235a","before":"a1356c97b2da8ded1a33aeec8c3b6a92e5ca7f0f","commits":[{"sha":"4635def6df38e04d49d1c7eb863238b23159235a","author":{"email":"c310037a822b8982fd8d4b9b39c0b9af98edf9e0@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"mcjakobs"},"message":"common tasks for PCC with condition model checking put into own package\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@17695 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/dbeyer/cpachecker/commits/4635def6df38e04d49d1c7eb863238b23159235a"}]}