{"push_id":2162727118,"size":7,"distinct_size":1,"ref":"refs/heads/develop","head":"a4cbd6ef57252884d47b639f0fa147f488f8861d","before":"e001179e0e5100af727ca46732ea9a3331b41e29","commits":[{"sha":"2a56d7c4f873b14dd5bebadeaae64f93c6877f64","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"no need for adt flag","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/2a56d7c4f873b14dd5bebadeaae64f93c6877f64"},{"sha":"b5a671b2aafec824e0f546457ed1aeebcb644355","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"next: gmm.","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/b5a671b2aafec824e0f546457ed1aeebcb644355"},{"sha":"2a44f6a4a22e08444631d4e86f5dbc070e887cd7","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"split benchmarks into separate Prover tests","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/2a44f6a4a22e08444631d4e86f5dbc070e887cd7"},{"sha":"9eb23f4bea1aba06b5e2cb0231b3a1d2b2dacadc","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"restore assertSelectors","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/9eb23f4bea1aba06b5e2cb0231b3a1d2b2dacadc"},{"sha":"fbe5265b2a9aaf0d775c2389dd6e4d9e364178dd","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"restored assertSelectors for GADTs/--no-adts","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/fbe5265b2a9aaf0d775c2389dd6e4d9e364178dd"},{"sha":"396d2b7e09537362e6742d92d84f5a622c62761b","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"restored assertSelectors for GADTs, fixes #1173","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/396d2b7e09537362e6742d92d84f5a622c62761b"},{"sha":"a4cbd6ef57252884d47b639f0fa147f488f8861d","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"Merge pull request #1178 from ucsd-progsys/T1173\n\nEnable PLE for GADTs","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/a4cbd6ef57252884d47b639f0fa147f488f8861d"}]}
{"actor":{"display_login":"ranjitjhala"}}