{"push_id":1384844744,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"98d1318fac5ef63b00721db1800dac3defb8961c","before":"40cc06086ae86e8f3964a05bf9e7a599856a1d65","commits":[{"sha":"98d1318fac5ef63b00721db1800dac3defb8961c","author":{"name":"Andrew Santosa","email":"30aa6ddd8daedd2f0998b2b8878b89123f3133ce@nus.edu.sg"},"message":"Added handling in the interpolation subsystem for when we recovered from error in executing the previous instruction","distinct":true,"url":"https://api.github.com/repos/tracer-x/klee/commits/98d1318fac5ef63b00721db1800dac3defb8961c"}]}
{"actor":{"display_login":"domainexpert"}}