{"push_id":2317487211,"size":1,"distinct_size":1,"ref":"refs/heads/assumption_synthesis","head":"a481e044e5307d5612264d9d35f51fe674227523","before":"7b1b2f98473919d224bcc8f7864f24dbc75222b0","commits":[{"sha":"a481e044e5307d5612264d9d35f51fe674227523","author":{"name":"Daniel Larraz","email":"a8dc6bbe206191eeed5b9763f8521bc0b2abc558@users.noreply.github.com"},"message":"Reorganized and generalized assumption generation module","distinct":true,"url":"https://api.github.com/repos/daniel-larraz/kind2/commits/a481e044e5307d5612264d9d35f51fe674227523"}]}
{"actor":{"display_login":"daniel-larraz"}}