{"push_id":552472598,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"88d63c1200283c18412288cedb103d8e6bc38e72","before":"31a68d02461cbf28af83482437d2fbb692d546c5","commits":[{"sha":"1ceab47c75cbcde311cf07bf3aa5c168bb139fd6","author":{"email":"17b9e1c64588c7fa6419b4d29dc1f4426279ba01@diglumi.com","name":"Michael Smith"},"message":"Move Pred/Expr alias expansion to graph system","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/1ceab47c75cbcde311cf07bf3aa5c168bb139fd6"},{"sha":"b79782f3371b99ed81276b8f1a9a357a2645d9bc","author":{"email":"17b9e1c64588c7fa6419b4d29dc1f4426279ba01@diglumi.com","name":"Michael Smith"},"message":"Small cleanup","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/b79782f3371b99ed81276b8f1a9a357a2645d9bc"},{"sha":"445c4868508c591dc48d1c45acd94cfdd23e1893","author":{"email":"17b9e1c64588c7fa6419b4d29dc1f4426279ba01@diglumi.com","name":"Michael Smith"},"message":"Add test for cyclic Expr/Pred aliases\n\nAlso split up cyclic type alias tests into multiple files.","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/445c4868508c591dc48d1c45acd94cfdd23e1893"},{"sha":"88d63c1200283c18412288cedb103d8e6bc38e72","author":{"email":"7c47fb8c5e263626481b146af46f62cf5772922e@gmail.com","name":"Eric Seidel"},"message":"Merge pull request #310 from spinda/pred-expr-aliases\n\nGeneralize graph-based alias expansion; use to expand predicate and expression aliases","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/88d63c1200283c18412288cedb103d8e6bc38e72"}]}