{"push_id":982245115,"size":4,"distinct_size":4,"ref":"refs/heads/graphs","head":"a4b7e2edae233a4d45bdaa5583e7ae69e4907254","before":"7643eb84232e3163f100b04b7f296172e0b528a3","commits":[{"sha":"9fc7305d4924730ed57bd061c02c470999200c39","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"implemented new eliminate","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/9fc7305d4924730ed57bd061c02c470999200c39"},{"sha":"26ca99ec9db5203aaf21377c25f1823f94f2572c","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"wow, all tests pass...","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/26ca99ec9db5203aaf21377c25f1823f94f2572c"},{"sha":"900fa9d155100f7f8ba7575c5f0fe7da977416b8","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"wow, all tests pass with new eliminate","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/900fa9d155100f7f8ba7575c5f0fe7da977416b8"},{"sha":"a4b7e2edae233a4d45bdaa5583e7ae69e4907254","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"tests pass but zipper000.hs.bfq gives wrong answer...","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/a4b7e2edae233a4d45bdaa5583e7ae69e4907254"}]}