{"push_id":576047618,"size":3,"distinct_size":3,"ref":"refs/heads/wchecking","head":"243ca3626588c8ee13e62bdf57f1038634dde264","before":"89caa266d2a6c638105c6d93a40895c9aff70b28","commits":[{"sha":"14cad7e8db9d2bf59ebee88ffe6026e0921ffa6c","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"add to IfM","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/14cad7e8db9d2bf59ebee88ffe6026e0921ffa6c"},{"sha":"3e451664161d278df0c6004291fec2d9acb9aa3c","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"remove bounds refinements from error message","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/3e451664161d278df0c6004291fec2d9acb9aa3c"},{"sha":"243ca3626588c8ee13e62bdf57f1038634dde264","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"removing papp4: is this the cause of fixpoint time\\?","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/243ca3626588c8ee13e62bdf57f1038634dde264"}]}