{"push_id":547172892,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"87ef79ba23060f36656b536e886a1c5dd1ebcc36","before":"6e8f209f3616bce164ae78ad9b72e8d2f6bdf41e","commits":[{"sha":"87ef79ba23060f36656b536e886a1c5dd1ebcc36","author":{"email":"1570f45fd579a26bc2a3b1541514affddbabb8c9@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"dangl"},"message":"InvariantsCPA: Fixed a bug in overflow handling where information was lost.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@15343 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/dbeyer/cpachecker/commits/87ef79ba23060f36656b536e886a1c5dd1ebcc36"}]}