{"push_id":1030577667,"size":1,"distinct_size":1,"ref":"refs/heads/cpa_communication","head":"cd559173f838df777614efaa48230880e4fd8804","before":"4f4084a86b702ba637c7154b9d791e4422900912","commits":[{"sha":"cd559173f838df777614efaa48230880e4fd8804","author":{"email":"fafbb143bc98b3398fb52cc5dc97b0add41e1a09@gmail.com","name":"George Karpenkov"},"message":"Formula Slicing + predicateCPA configuration.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/cpa_communication@20404 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/cd559173f838df777614efaa48230880e4fd8804"}]}