{"push_id":2334978735,"size":2,"distinct_size":2,"ref":"refs/heads/flush-json-stream","head":"c1c78ea87b7971b584fe49b805e1cfb5d2f8dc58","before":"628f49b733e858b9939d53067354c0637b41840d","commits":[{"sha":"91a860cce17b7fd3d9d38ffaf65c63495cdff509","author":{"name":"Fotis Koutoulakis","email":"a4e043d47eb67a0333c4b1e6f4ad0aa310650bbd@diffblue.com"},"message":"Refactor huge convert function into multiple ones\n\nRefactor the templated convert function with switch\nstatements that handle different instructions to dispatch\nto functions that are specialised per instruction.","distinct":true,"url":"https://api.github.com/repos/NlightNFotis/cbmc/commits/91a860cce17b7fd3d9d38ffaf65c63495cdff509"},{"sha":"c1c78ea87b7971b584fe49b805e1cfb5d2f8dc58","author":{"name":"Fotis Koutoulakis","email":"a4e043d47eb67a0333c4b1e6f4ad0aa310650bbd@diffblue.com"},"message":"Activate JSON streaming when printing goto-traces","distinct":true,"url":"https://api.github.com/repos/NlightNFotis/cbmc/commits/c1c78ea87b7971b584fe49b805e1cfb5d2f8dc58"}]}
{"actor":{"display_login":"NlightNFotis"}}