{"push_id":1165471771,"size":6,"distinct_size":6,"ref":"refs/heads/master","head":"e4a0f3156deb297bba8dcf0c42fe7a7c6ea6605d","before":"01ab0e1442ff658b6b254b999a9c86b06d2b8789","commits":[{"sha":"62785255da2bebe9bb10757953d49c3006470159","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"whitespace","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/62785255da2bebe9bb10757953d49c3006470159"},{"sha":"9f26eb6b81c241a5e6a3968c21d0bfd4819a0dd4","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"more than one error label","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/9f26eb6b81c241a5e6a3968c21d0bfd4819a0dd4"},{"sha":"1a860122aa6fc2152311709728ee7e81e509d1e6","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"typecasts for function calls","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/1a860122aa6fc2152311709728ee7e81e509d1e6"},{"sha":"19bcbbbb24bbb618d5face7b1265eb48acb99ed6","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"missing assert.h","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/19bcbbbb24bbb618d5face7b1265eb48acb99ed6"},{"sha":"6a7d13024838f19fed424d29ae32842d9220ebfe","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"missing header","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/6a7d13024838f19fed424d29ae32842d9220ebfe"},{"sha":"e4a0f3156deb297bba8dcf0c42fe7a7c6ea6605d","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"remove some complexities","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/e4a0f3156deb297bba8dcf0c42fe7a7c6ea6605d"}]}
{"actor":{"display_login":"kroening"}}