{"push_id":921905950,"size":6,"distinct_size":1,"ref":"refs/heads/errloc","head":"33419ffbdcd8cf1d35d77c799052b3c103943014","before":"54d786d95080dc7522503643e4ffa6a304176548","commits":[{"sha":"abb758519c884ca463976f197268b173e302f9db","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"add error location stack, push target binders onto stack","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/abb758519c884ca463976f197268b173e302f9db"},{"sha":"e5947c54694da296bf67a886bab44aadae87fab5","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"Add `BinarySearch` example by Gabriel Gonzalez.\nMerge branch 'master' of github.com:ucsd-progsys/liquidhaskell","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/e5947c54694da296bf67a886bab44aadae87fab5"},{"sha":"9165d514184a083dbb2d78781404597283e43fb6","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"update BinarySearch from GabrielG","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/9165d514184a083dbb2d78781404597283e43fb6"},{"sha":"2b9c0f0b2730a541cbe042c47412d325a168cee7","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"update BinarySearch from GabrielG","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/2b9c0f0b2730a541cbe042c47412d325a168cee7"},{"sha":"a02f068b1e81790c630802be5f2c56d447fd821f","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"update BinarySearch from GabrielG","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/a02f068b1e81790c630802be5f2c56d447fd821f"},{"sha":"33419ffbdcd8cf1d35d77c799052b3c103943014","author":{"email":"711c73f64afdce07b7e38039a96d2224209e9a6c@doingmyprogramming.com","name":"Chris Tetreault"},"message":"Merge branch 'master' into errloc\n\nConflicts:\n\ttests/pos/BinarySearch.hs","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/33419ffbdcd8cf1d35d77c799052b3c103943014"}]}