{"push_id":1181566155,"size":4,"distinct_size":4,"ref":"refs/heads/language-improvements","head":"eb2cdf1d41b178b3bd3d63e3ae28093e3216bc5c","before":"a8567db1f9fe55b0ac96b8d2f1f697f55ea72801","commits":[{"sha":"54b6980f1884633a31fcec39cdc8a6bca28e498b","author":{"name":"Thomas Wies","email":"0aa5cb74a6f87afea9ac8a05fe0093a036571553@cs.nyu.edu"},"message":"parse input file tail-recursively","distinct":true,"url":"https://api.github.com/repos/wies/grasshopper/commits/54b6980f1884633a31fcec39cdc8a6bca28e498b"},{"sha":"7cf2cd391b92aa821f8db6b54b1a545a260c4ab2","author":{"name":"Thomas Wies","email":"0aa5cb74a6f87afea9ac8a05fe0093a036571553@cs.nyu.edu"},"message":"fix frame axioms for multi-dim maps","distinct":true,"url":"https://api.github.com/repos/wies/grasshopper/commits/7cf2cd391b92aa821f8db6b54b1a545a260c4ab2"},{"sha":"6b943639004c319e2d831b1eef0ba055fe92e934","author":{"name":"Thomas Wies","email":"0aa5cb74a6f87afea9ac8a05fe0093a036571553@cs.nyu.edu"},"message":"disable third instantiation round","distinct":true,"url":"https://api.github.com/repos/wies/grasshopper/commits/6b943639004c319e2d831b1eef0ba055fe92e934"},{"sha":"eb2cdf1d41b178b3bd3d63e3ae28093e3216bc5c","author":{"name":"Thomas Wies","email":"0aa5cb74a6f87afea9ac8a05fe0093a036571553@cs.nyu.edu"},"message":"Merge branch 'language-improvements' of github.com:wies/grasshopper into language-improvements","distinct":true,"url":"https://api.github.com/repos/wies/grasshopper/commits/eb2cdf1d41b178b3bd3d63e3ae28093e3216bc5c"}]}
{"actor":{"display_login":"wies"}}