{"push_id":597316550,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"f62603fa2c396e58d912f0650594413165df6b23","before":"c747081c63cbcb685331b2c9c2f2aebfcf8eecab","commits":[{"sha":"f62603fa2c396e58d912f0650594413165df6b23","author":{"email":"278b64a89b138a9de236f22b5090b7ff60ba9880@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"stieglma"},"message":"Remove trailing whitespace in a function declaration in dumpFormula output of SMTInterpol\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@16091 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/dbeyer/cpachecker/commits/f62603fa2c396e58d912f0650594413165df6b23"}]}