{"push_id":810332767,"size":9,"distinct_size":9,"ref":"refs/heads/trace","head":"a1167d70f80e9d6071d416fb48d623dfa38be5da","before":"f2eb64ebb0da578aa00a4885b00e4dfe48ad3ac9","commits":[{"sha":"eceba909413eb0ea3270834fff46560c3493b8a4","author":{"email":"6c150f28a67bd7084899fc5ec19a5f87459dd653@archlinux.info","name":"Anish Tondwalkar"},"message":"Unroll: generalize cantor to Integral","distinct":true,"url":"https://api.github.com/repos/atondwal/liquid-fixpoint/commits/eceba909413eb0ea3270834fff46560c3493b8a4"},{"sha":"7af99ec55505bfa5dcef7cbecebf405df051bf25","author":{"email":"6c150f28a67bd7084899fc5ec19a5f87459dd653@archlinux.info","name":"Anish Tondwalkar"},"message":"Unroll: ugly IOref hack for IBindEnv","distinct":true,"url":"https://api.github.com/repos/atondwal/liquid-fixpoint/commits/7af99ec55505bfa5dcef7cbecebf405df051bf25"},{"sha":"6439fad67c3e73d89b5e1d92aa71cb4279bb32db","author":{"email":"6c150f28a67bd7084899fc5ec19a5f87459dd653@archlinux.info","name":"Anish Tondwalkar"},"message":"AsdfsdfsadafsdfasdFA","distinct":true,"url":"https://api.github.com/repos/atondwal/liquid-fixpoint/commits/6439fad67c3e73d89b5e1d92aa71cb4279bb32db"},{"sha":"baee69765a11e4e1cfd8c90655f90e16a8efaa4a","author":{"email":"6c150f28a67bd7084899fc5ec19a5f87459dd653@archlinux.info","name":"Anish Tondwalkar"},"message":"env in place","distinct":true,"url":"https://api.github.com/repos/atondwal/liquid-fixpoint/commits/baee69765a11e4e1cfd8c90655f90e16a8efaa4a"},{"sha":"96dded0e96fe79f765959ed8037a98dce89d803d","author":{"email":"6c150f28a67bd7084899fc5ec19a5f87459dd653@archlinux.info","name":"Anish Tondwalkar"},"message":"smtlib pred error'","distinct":true,"url":"https://api.github.com/repos/atondwal/liquid-fixpoint/commits/96dded0e96fe79f765959ed8037a98dce89d803d"},{"sha":"d7d1d9a4be5a474c284728e605b56d653cc4961f","author":{"email":"6c150f28a67bd7084899fc5ec19a5f87459dd653@archlinux.info","name":"Anish Tondwalkar"},"message":"show qualifier binds","distinct":true,"url":"https://api.github.com/repos/atondwal/liquid-fixpoint/commits/d7d1d9a4be5a474c284728e605b56d653cc4961f"},{"sha":"1226ce05a65c03dc8df9264cca8beac29b618f89","author":{"email":"6c150f28a67bd7084899fc5ec19a5f87459dd653@archlinux.info","name":"Anish Tondwalkar"},"message":"asdf","distinct":true,"url":"https://api.github.com/repos/atondwal/liquid-fixpoint/commits/1226ce05a65c03dc8df9264cca8beac29b618f89"},{"sha":"2f30c1bbffc4054c3098f5546c4e51bd45a6e1a5","author":{"email":"6c150f28a67bd7084899fc5ec19a5f87459dd653@archlinux.info","name":"Anish Tondwalkar"},"message":"asdf","distinct":true,"url":"https://api.github.com/repos/atondwal/liquid-fixpoint/commits/2f30c1bbffc4054c3098f5546c4e51bd45a6e1a5"},{"sha":"a1167d70f80e9d6071d416fb48d623dfa38be5da","author":{"email":"6c150f28a67bd7084899fc5ec19a5f87459dd653@archlinux.info","name":"Anish Tondwalkar"},"message":"Merge branch 'iohack' into trace","distinct":true,"url":"https://api.github.com/repos/atondwal/liquid-fixpoint/commits/a1167d70f80e9d6071d416fb48d623dfa38be5da"}]}