{"push_id":1468500471,"size":3,"distinct_size":3,"ref":"refs/heads/no-prop","head":"64c0a624b2ce52069ae3d62a290b0dfe840808b2","before":"619a82f958c89f70dcc32bb7270768f3315e37fd","commits":[{"sha":"33cb5a76f76f6946d4e9a906c54fc9dba5e09f6a","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"add test showing crash on inst/subst poly with bool","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/33cb5a76f76f6946d4e9a906c54fc9dba5e09f6a"},{"sha":"55920cbc78eb1069a221672a07bf86e08e366872","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"look for FIXMEHERE","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/55920cbc78eb1069a221672a07bf86e08e366872"},{"sha":"64c0a624b2ce52069ae3d62a290b0dfe840808b2","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"replace Ueq for substitutions with toInt+Eq","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/64c0a624b2ce52069ae3d62a290b0dfe840808b2"}]}
{"actor":{"display_login":"ranjitjhala"}}