{"push_id":1457317016,"size":1,"distinct_size":1,"ref":"refs/heads/smg_performance","head":"066bb3852315db464feb2b8357065d843cac3a64","before":"1c2c279de099e3ce46403c0208b50c4f4f1e3c2f","commits":[{"sha":"066bb3852315db464feb2b8357065d843cac3a64","author":{"name":"dangl","email":"83a36e38973b9eb419e819842eddc03248d6b64f@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Use b instead of B in SMG plots; the values are now given in bits and not in bytes\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/smg_performance@23888 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/066bb3852315db464feb2b8357065d843cac3a64"}]}
{"actor":{"display_login":"dbeyer-bot"}}