{"push_id":1143612658,"size":9,"distinct_size":9,"ref":"refs/heads/concur16-final","head":"87698b0c8001259eb508763784e2911a13138bb7","before":"34d72e822faa2338089868cc26ac2dfda1d2f788","commits":[{"sha":"4610244ca3ab6e1e6cc4a227803809b694148858","author":{"name":"Roly Perera","email":"80129dd3923bfd1bbe0825e3f67ea8319f5864cd@dynamicaspects.org"},"message":"Onto νᵇᶜ case. 64 leaf cases.","distinct":true,"url":"https://api.github.com/repos/rolyp/concurrent-slicing/commits/4610244ca3ab6e1e6cc4a227803809b694148858"},{"sha":"2bda7a1b4ac03ec02934f6680e0ee8c937af7979","author":{"name":"Roly Perera","email":"80129dd3923bfd1bbe0825e3f67ea8319f5864cd@dynamicaspects.org"},"message":"Ready for helper.","distinct":true,"url":"https://api.github.com/repos/rolyp/concurrent-slicing/commits/2bda7a1b4ac03ec02934f6680e0ee8c937af7979"},{"sha":"d2c9f1b8d63c3be53d3dc541c5a7754d1edb41f4","author":{"name":"Roly Perera","email":"80129dd3923bfd1bbe0825e3f67ea8319f5864cd@dynamicaspects.org"},"message":"Actually no, think it's 13^2 leaf cases.","distinct":true,"url":"https://api.github.com/repos/rolyp/concurrent-slicing/commits/d2c9f1b8d63c3be53d3dc541c5a7754d1edb41f4"},{"sha":"4c712e1226b17c6187c7179165aaeb8502cbe2ec","author":{"name":"Roly Perera","email":"80129dd3923bfd1bbe0825e3f67ea8319f5864cd@dynamicaspects.org"},"message":"Nope, 104.","distinct":true,"url":"https://api.github.com/repos/rolyp/concurrent-slicing/commits/4c712e1226b17c6187c7179165aaeb8502cbe2ec"},{"sha":"c77b6c06bb5344543a05250a5c3a5ef8fd8af87e","author":{"name":"Roly Perera","email":"80129dd3923bfd1bbe0825e3f67ea8319f5864cd@dynamicaspects.org"},"message":"Realising not only that I _can_ but that I _should_ omit symmetric cases from the definition of concurrency.","distinct":true,"url":"https://api.github.com/repos/rolyp/concurrent-slicing/commits/c77b6c06bb5344543a05250a5c3a5ef8fd8af87e"},{"sha":"0835e92fd9aa70e19b31a7ae53ee599913ca2f6f","author":{"name":"Roly Perera","email":"80129dd3923bfd1bbe0825e3f67ea8319f5864cd@dynamicaspects.org"},"message":"Uncomment to purge any unneeded top-level cases...","distinct":true,"url":"https://api.github.com/repos/rolyp/concurrent-slicing/commits/0835e92fd9aa70e19b31a7ae53ee599913ca2f6f"},{"sha":"4b3dfc2d57ec3143f3f205b01da4926f414f5c66","author":{"name":"Roly Perera","email":"80129dd3923bfd1bbe0825e3f67ea8319f5864cd@dynamicaspects.org"},"message":"Yep runs out of memory trying to type-checking the whole file.","distinct":true,"url":"https://api.github.com/repos/rolyp/concurrent-slicing/commits/4b3dfc2d57ec3143f3f205b01da4926f414f5c66"},{"sha":"2c50a3968bf1cdff92c60b131fa2ff2007fef1e2","author":{"name":"Roly Perera","email":"80129dd3923bfd1bbe0825e3f67ea8319f5864cd@dynamicaspects.org"},"message":"Cases all sync'd up.","distinct":true,"url":"https://api.github.com/repos/rolyp/concurrent-slicing/commits/2c50a3968bf1cdff92c60b131fa2ff2007fef1e2"},{"sha":"87698b0c8001259eb508763784e2911a13138bb7","author":{"name":"Roly Perera","email":"80129dd3923bfd1bbe0825e3f67ea8319f5864cd@dynamicaspects.org"},"message":"12 cases to go.","distinct":true,"url":"https://api.github.com/repos/rolyp/concurrent-slicing/commits/87698b0c8001259eb508763784e2911a13138bb7"}]}
{"actor":{"display_login":"rolyp"}}