{"push_id":754769181,"size":600,"distinct_size":600,"ref":"refs/heads/master","head":"9c0cad2ca624b899697da396c145f487edb0654b","before":"197305f73d5c46c71a42c4545788f08b2ab81b5c","commits":[{"sha":"f7d76443d86e818513d3f7e6ec8732b6f04d8d9d","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"add test for puzzling inline behavior","distinct":true,"url":"https://api.github.com/repos/atondwal/liquidhaskell/commits/f7d76443d86e818513d3f7e6ec8732b6f04d8d9d"},{"sha":"fd00caa4f072abf68a5a6e4b000c1c9d80912db2","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"set-mem qualification core2logic woes","distinct":true,"url":"https://api.github.com/repos/atondwal/liquidhaskell/commits/fd00caa4f072abf68a5a6e4b000c1c9d80912db2"},{"sha":"4e29858c68945b056c6d3eaa0ddbbd2d54cdd4a3","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"set-mem qualification core2logic woes","distinct":true,"url":"https://api.github.com/repos/atondwal/liquidhaskell/commits/4e29858c68945b056c6d3eaa0ddbbd2d54cdd4a3"},{"sha":"b7bf06bf88bf4097e5ac72a4776a61d011087e4f","author":{"email":"7c47fb8c5e263626481b146af46f62cf5772922e@gmail.com","name":"Eric Seidel"},"message":"scrape qualifiers from locally-defined datacons too\n\nfixes #329","distinct":true,"url":"https://api.github.com/repos/atondwal/liquidhaskell/commits/b7bf06bf88bf4097e5ac72a4776a61d011087e4f"},{"sha":"d2e6ac869df4a37c6acd2e67039e73e962a6b560","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"tmp fix for #331","distinct":true,"url":"https://api.github.com/repos/atondwal/liquidhaskell/commits/d2e6ac869df4a37c6acd2e67039e73e962a6b560"},{"sha":"4bb4e2f43ac0d2a404642a46be7556e890346ada","author":{"email":"7c47fb8c5e263626481b146af46f62cf5772922e@gmail.com","name":"Eric Seidel"},"message":"don't generate measures for fields with function type","distinct":true,"url":"https://api.github.com/repos/atondwal/liquidhaskell/commits/4bb4e2f43ac0d2a404642a46be7556e890346ada"},{"sha":"107264349c6558d4b4ecda6b8122e6cd961ff224","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"Merge branch 'master' of https://github.com/ucsd-progsys/liquidhaskell into constraints","distinct":true,"url":"https://api.github.com/repos/atondwal/liquidhaskell/commits/107264349c6558d4b4ecda6b8122e6cd961ff224"},{"sha":"e32be38fc4f70943ca74fbe8ae80cf0b68be626d","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"fir for #182","distinct":true,"url":"https://api.github.com/repos/atondwal/liquidhaskell/commits/e32be38fc4f70943ca74fbe8ae80cf0b68be626d"},{"sha":"24f5cecb677bfd4d3d62a54b0249ea56db4e731c","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"moving tests","distinct":true,"url":"https://api.github.com/repos/atondwal/liquidhaskell/commits/24f5cecb677bfd4d3d62a54b0249ea56db4e731c"},{"sha":"55b1a492ddb236f98a287dc8f49e564ee31d380d","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"edits to make foldl pass, still cannot be used","distinct":true,"url":"https://api.github.com/repos/atondwal/liquidhaskell/commits/55b1a492ddb236f98a287dc8f49e564ee31d380d"},{"sha":"edd8be41fb5cdadcff108666b1ef08f2855728bf","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"fold","distinct":true,"url":"https://api.github.com/repos/atondwal/liquidhaskell/commits/edd8be41fb5cdadcff108666b1ef08f2855728bf"},{"sha":"8083db4a9849fc893bf837ed9d99ac5ec5947aeb","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"grrrr","distinct":true,"url":"https://api.github.com/repos/atondwal/liquidhaskell/commits/8083db4a9849fc893bf837ed9d99ac5ec5947aeb"},{"sha":"8555c7461161c17e1fbecaa6532382bce3de6a04","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"users of fild work too","distinct":true,"url":"https://api.github.com/repos/atondwal/liquidhaskell/commits/8555c7461161c17e1fbecaa6532382bce3de6a04"},{"sha":"961330da228e2b091d66fe463b5bf8ac0282b117","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"grap literals from specs","distinct":true,"url":"https://api.github.com/repos/atondwal/liquidhaskell/commits/961330da228e2b091d66fe463b5bf8ac0282b117"},{"sha":"a555c59b97e5be38962a754ed55adf23d5e935ac","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"update whileM","distinct":true,"url":"https://api.github.com/repos/atondwal/liquidhaskell/commits/a555c59b97e5be38962a754ed55adf23d5e935ac"},{"sha":"55021a577aca9e3048013afb4eb073a8549e1d5d","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"adding post conditions","distinct":true,"url":"https://api.github.com/repos/atondwal/liquidhaskell/commits/55021a577aca9e3048013afb4eb073a8549e1d5d"},{"sha":"44f96140e909098cc4cf491605c1cbdc3f7711b6","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"minor","distinct":true,"url":"https://api.github.com/repos/atondwal/liquidhaskell/commits/44f96140e909098cc4cf491605c1cbdc3f7711b6"},{"sha":"e7560445fa44de595cee1ca2fc74cc5c87330607","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"Niki Vazou"},"message":"Merge pull request #336 from ucsd-progsys/foldl\n\nFoldl","distinct":true,"url":"https://api.github.com/repos/atondwal/liquidhaskell/commits/e7560445fa44de595cee1ca2fc74cc5c87330607"},{"sha":"3bed8db17eea378c186086d998ef854acfaf075f","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"adding boolparse test","distinct":true,"url":"https://api.github.com/repos/atondwal/liquidhaskell/commits/3bed8db17eea378c186086d998ef854acfaf075f"},{"sha":"946d87a89ae4193cee14fa8250e0568cc75646f2","author":{"email":"7c47fb8c5e263626481b146af46f62cf5772922e@gmail.com","name":"Eric Seidel"},"message":"stop throwing errors in plugHoles, let checkGhcSpec catch them\n\nfixes #339","distinct":true,"url":"https://api.github.com/repos/atondwal/liquidhaskell/commits/946d87a89ae4193cee14fa8250e0568cc75646f2"}]}