{"push_id":1257566110,"size":8,"distinct_size":8,"ref":"refs/heads/master","head":"fcf83dc6feb90912b322886a200806d126b39dea","before":"bbae05d8faecfec18a42724e72336d8f8c4e3d8d","commits":[{"sha":"e20c7bdf55e708125dfc85ff64e2a88f0b494e2f","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"use ranged for","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/e20c7bdf55e708125dfc85ff64e2a88f0b494e2f"},{"sha":"d11f6fa42118993bed257317a56351b6f048061a","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"use ranged for","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/d11f6fa42118993bed257317a56351b6f048061a"},{"sha":"d8023eb6837f65e0a35b292ab1d57cf1353c0ad2","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"use ranged for","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/d8023eb6837f65e0a35b292ab1d57cf1353c0ad2"},{"sha":"88794043b9ad432dbc631c4f0129f5e53562393b","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"json output for input/output steps","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/88794043b9ad432dbc631c4f0129f5e53562393b"},{"sha":"cdbae91bc3afa8030604f80c3a7a15721da17773","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"extra indent in arrays of non-objects","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/cdbae91bc3afa8030604f80c3a7a15721da17773"},{"sha":"14f0e63b90740274e03b4991b466636112e66f0e","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"added a source location","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/14f0e63b90740274e03b4991b466636112e66f0e"},{"sha":"8103a17a82b2aed623567802df199ccdb84703a9","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"Merge branch 'master' of https://github.com/diffblue/cbmc","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/8103a17a82b2aed623567802df199ccdb84703a9"},{"sha":"fcf83dc6feb90912b322886a200806d126b39dea","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"also notify assignments, not just goals","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/fcf83dc6feb90912b322886a200806d126b39dea"}]}
{"actor":{"display_login":"kroening"}}