{"push_id":919787150,"size":124,"distinct_size":124,"ref":"refs/heads/master","head":"a02f068b1e81790c630802be5f2c56d447fd821f","before":"c10d1a3d9e8ff134f48bbae5725b931f5ec2b6d7","commits":[{"sha":"4ac631897a564fe4ae59399c9352d7bdf0527de4","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"shift signature for foldReft","distinct":true,"url":"https://api.github.com/repos/abakst/liquidhaskell/commits/4ac631897a564fe4ae59399c9352d7bdf0527de4"},{"sha":"7a8cace89ad6016f08410d85d3c88415a1c20e14","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"hopefully fixing that resolve error","distinct":true,"url":"https://api.github.com/repos/abakst/liquidhaskell/commits/7a8cace89ad6016f08410d85d3c88415a1c20e14"},{"sha":"03c680aa790e69ad047abe93e977304c2a73271d","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"Asdasd","distinct":true,"url":"https://api.github.com/repos/abakst/liquidhaskell/commits/03c680aa790e69ad047abe93e977304c2a73271d"},{"sha":"ba80879b3b83237e0698263b46259881d3df72f9","author":{"email":"7c47fb8c5e263626481b146af46f62cf5772922e@gmail.com","name":"Eric Seidel"},"message":"treat _ as lower-case, fixes #531","distinct":true,"url":"https://api.github.com/repos/abakst/liquidhaskell/commits/ba80879b3b83237e0698263b46259881d3df72f9"},{"sha":"c28529b536038b909eb94692cd1a785ea2b84a64","author":{"email":"7c47fb8c5e263626481b146af46f62cf5772922e@gmail.com","name":"Eric Seidel"},"message":"ugh update liquid-fixpoint again","distinct":true,"url":"https://api.github.com/repos/abakst/liquidhaskell/commits/c28529b536038b909eb94692cd1a785ea2b84a64"},{"sha":"c9bde8f0f3137aa89b55f5c1530e8430ef9db5e0","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"Merge pull request #532 from gridaphobe/master\n\ntreat _ as lower-case","distinct":true,"url":"https://api.github.com/repos/abakst/liquidhaskell/commits/c9bde8f0f3137aa89b55f5c1530e8430ef9db5e0"},{"sha":"1140160c13cddb643b67d08c92c1110016468acf","author":{"email":"d7d98fe41efda37f92c45d007b684573d8ce3969@gmail.com","name":"Gabriel Gonzalez"},"message":"Consistency for `Integral` method refinements\n\nThe `quot` and `rem` functions have fewer refinements than `quotRem` and the `divMod` function has fewer refinements than `div`/`mod` so this change makes them behave more consistently","distinct":true,"url":"https://api.github.com/repos/abakst/liquidhaskell/commits/1140160c13cddb643b67d08c92c1110016468acf"},{"sha":"dec419cbb080e287bbdd879e2802450fac7b1fc2","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"Merge pull request #533 from Gabriel439/patch-1\n\nConsistency for `Integral` method refinements","distinct":true,"url":"https://api.github.com/repos/abakst/liquidhaskell/commits/dec419cbb080e287bbdd879e2802450fac7b1fc2"},{"sha":"96bfc6ea705fb00c75cda802d8cb0a330daa7515","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"tweaking qualifier scraping code to generate well formed qualifiers","distinct":true,"url":"https://api.github.com/repos/abakst/liquidhaskell/commits/96bfc6ea705fb00c75cda802d8cb0a330daa7515"},{"sha":"1c268ad9eb9c78bb26efe594e825f38be9a736bd","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"fixed progress bar, update to fixpoint master","distinct":true,"url":"https://api.github.com/repos/abakst/liquidhaskell/commits/1c268ad9eb9c78bb26efe594e825f38be9a736bd"},{"sha":"ceea808bfc5d6a4ccb6d94d294cb8c86a4150be4","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"fixed progress bar, update to fixpoint master","distinct":true,"url":"https://api.github.com/repos/abakst/liquidhaskell/commits/ceea808bfc5d6a4ccb6d94d294cb8c86a4150be4"},{"sha":"60c9e5b63d4db28130b0181284682acf1f623a14","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"move HsColour.hs out of benchmarks","distinct":true,"url":"https://api.github.com/repos/abakst/liquidhaskell/commits/60c9e5b63d4db28130b0181284682acf1f623a14"},{"sha":"6a28b2e7d0a76d74842ab726f3d62c579b39f3df","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"asd Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell","distinct":true,"url":"https://api.github.com/repos/abakst/liquidhaskell/commits/6a28b2e7d0a76d74842ab726f3d62c579b39f3df"},{"sha":"2e58224c0de607d24b59fd4d91bb9eda24e41b48","author":{"email":"d7d98fe41efda37f92c45d007b684573d8ce3969@gmail.com","name":"Gabriel Gonzalez"},"message":"Add spec for `Data.Vector.imap`","distinct":true,"url":"https://api.github.com/repos/abakst/liquidhaskell/commits/2e58224c0de607d24b59fd4d91bb9eda24e41b48"},{"sha":"315fcae4206c6584abe8970ffe082fd07d9c7c0b","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"Merge pull request #534 from Gabriel439/patch-2\n\nAdd spec for `Data.Vector.imap`","distinct":true,"url":"https://api.github.com/repos/abakst/liquidhaskell/commits/315fcae4206c6584abe8970ffe082fd07d9c7c0b"},{"sha":"e73d76cde7c1846de0359735f6057c26abef2282","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"update to new lf","distinct":true,"url":"https://api.github.com/repos/abakst/liquidhaskell/commits/e73d76cde7c1846de0359735f6057c26abef2282"},{"sha":"6f4eb3e11f07e5d1021a5eafd3d794380630eb65","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"the malformed qualifier errors should be fixed","distinct":true,"url":"https://api.github.com/repos/abakst/liquidhaskell/commits/6f4eb3e11f07e5d1021a5eafd3d794380630eb65"},{"sha":"094e67b86de15186106287d7ddd21d159d37eb89","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"asd Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell","distinct":true,"url":"https://api.github.com/repos/abakst/liquidhaskell/commits/094e67b86de15186106287d7ddd21d159d37eb89"},{"sha":"71dd5d908479ea5bbd5c1ac69f855ac716c9cb7d","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"asd","distinct":true,"url":"https://api.github.com/repos/abakst/liquidhaskell/commits/71dd5d908479ea5bbd5c1ac69f855ac716c9cb7d"},{"sha":"f93ba2f0b0b6b90c544532905c5d1cc057fe430c","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"asd","distinct":true,"url":"https://api.github.com/repos/abakst/liquidhaskell/commits/f93ba2f0b0b6b90c544532905c5d1cc057fe430c"}]}