{"push_id":1375878772,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"a14641143488b4b6564038192d0a8da2c0e3658a","before":"f51bf025eaf01297710659d794b07862a37db9c4","commits":[{"sha":"7249da5d4e1cf3c79c5c2cd9a8df1b59c742370f","author":{"name":"Pascal Kesseli","email":"e0ecd482887480156595e641a097c3fa8e6cfed3@hotmail.com"},"message":"Removed explicit result operator in CEGIS processor.","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/7249da5d4e1cf3c79c5c2cd9a8df1b59c742370f"},{"sha":"a14641143488b4b6564038192d0a8da2c0e3658a","author":{"name":"Pascal Kesseli","email":"e0ecd482887480156595e641a097c3fa8e6cfed3@hotmail.com"},"message":"Refactored CEGIS processor body generation.","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/a14641143488b4b6564038192d0a8da2c0e3658a"}]}
{"actor":{"display_login":"pkesseli"}}