{"push_id":1094201904,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"202589820a589eae2a13cca30d74dad0464bc8e2","before":"dcd60f220773ce24b3c2c5a619befa3618d49cc9","commits":[{"sha":"202589820a589eae2a13cca30d74dad0464bc8e2","author":{"email":"e9a3e6a086ecd41450740a202a46f1ec8469ad70@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"driemey"},"message":"SMGCPA: Refine choosing an abstraction sequence.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@20988 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/202589820a589eae2a13cca30d74dad0464bc8e2"}]}