{"push_id":2357970592,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e639dce25b805b54ce33a817dcc6b7bff1461952","before":"6f048e6c55171e931f1244ed78bf3bcde2174297","commits":[{"sha":"e639dce25b805b54ce33a817dcc6b7bff1461952","author":{"name":"akatis","email":"78914d629b27cb641f03b0aceedf6daeaa72d758@hotmail.com"},"message":"Added counterexamples to enhance clarity in section 4.3","distinct":true,"url":"https://api.github.com/repos/andrewkatis/ASE2017FixpointSynthesis/commits/e639dce25b805b54ce33a817dcc6b7bff1461952"}]}
{"actor":{"display_login":"andrewkatis"}}