{"push_id":543484647,"size":4,"distinct_size":4,"ref":"refs/heads/more-partitions","head":"3baa406de8cfb7458be9dbe7bf2e893441f4ca19","before":"d180e50e928372166a7e61200bd7fac6d96f6849","commits":[{"sha":"43d88e5b626e28a2d1124d7edc5160a053ffc77b","author":{"email":"e4424f0a1b911768724b360eaace7d584a7cfa42@aepsil0n.de","name":"Eduard Bopp"},"message":"Split partition's totality proposition\n\nQuickcheck is better at finding bad cases if irrelevant input is discarded. The\npropositions now have an explicit dependency on quickcheck.","distinct":true,"url":"https://api.github.com/repos/aepsil0n/acacia/commits/43d88e5b626e28a2d1124d7edc5160a053ffc77b"},{"sha":"3277935be4c90a6390fca7ed76afded6841a3b7c","author":{"email":"e4424f0a1b911768724b360eaace7d584a7cfa42@aepsil0n.de","name":"Eduard Bopp"},"message":"Split subdivision off as its own trait\n\nMethod dispatch gets more complicated for types that partition more than one\ndomain.","distinct":true,"url":"https://api.github.com/repos/aepsil0n/acacia/commits/3277935be4c90a6390fca7ed76afded6841a3b7c"},{"sha":"c56e8374db3ae47387c311a29c6e8015cd002e88","author":{"email":"e4424f0a1b911768724b360eaace7d584a7cfa42@aepsil0n.de","name":"Eduard Bopp"},"message":"Fix bug in UnitQuad::subdivide","distinct":true,"url":"https://api.github.com/repos/aepsil0n/acacia/commits/c56e8374db3ae47387c311a29c6e8015cd002e88"},{"sha":"3baa406de8cfb7458be9dbe7bf2e893441f4ca19","author":{"email":"e4424f0a1b911768724b360eaace7d584a7cfa42@aepsil0n.de","name":"Eduard Bopp"},"message":"Implement cubemap partition of the 2-sphere","distinct":true,"url":"https://api.github.com/repos/aepsil0n/acacia/commits/3baa406de8cfb7458be9dbe7bf2e893441f4ca19"}]}