{"push_id":854839698,"size":8,"distinct_size":0,"ref":"refs/heads/master","head":"9ce7089fa82e289f6c8c48a04fb23c15255ada5d","before":"7c9cdaffb54b14c4e5df01165e88de9ef00f2810","commits":[{"sha":"5dc32cc13766a2e5dee617a3de64fb7c2f81d7a2","author":{"email":"c9c378ce3140ef5347cfd390951bb5e31b98f5f4@u-psud.fr","name":"Florent Hivert"},"message":"Tentative on Partial Ordered types","distinct":false,"url":"https://api.github.com/repos/hivert/Coq-Combi/commits/5dc32cc13766a2e5dee617a3de64fb7c2f81d7a2"},{"sha":"b8a7e01adc2863e8b0a427d3ca27af76898b8096","author":{"email":"c9c378ce3140ef5347cfd390951bb5e31b98f5f4@lri.fr","name":"Florent Hivert"},"message":"WIP on Ordtype","distinct":false,"url":"https://api.github.com/repos/hivert/Coq-Combi/commits/b8a7e01adc2863e8b0a427d3ca27af76898b8096"},{"sha":"f48a9705cfcc7e9c71271865486093a40159407c","author":{"email":"c9c378ce3140ef5347cfd390951bb5e31b98f5f4@lri.fr","name":"Florent Hivert"},"message":"WIP in ordtype","distinct":false,"url":"https://api.github.com/repos/hivert/Coq-Combi/commits/f48a9705cfcc7e9c71271865486093a40159407c"},{"sha":"e8276940437f7d61a8495d170f80add5093f247f","author":{"email":"c9c378ce3140ef5347cfd390951bb5e31b98f5f4@lri.fr","name":"Florent Hivert"},"message":"Merge branch 'master' into ordtype","distinct":false,"url":"https://api.github.com/repos/hivert/Coq-Combi/commits/e8276940437f7d61a8495d170f80add5093f247f"},{"sha":"aeb2e3128ff48c8c3cbbcd2e86a7b3853304d278","author":{"email":"c9c378ce3140ef5347cfd390951bb5e31b98f5f4@lri.fr","name":"Florent Hivert"},"message":"Merged master in ordtype","distinct":false,"url":"https://api.github.com/repos/hivert/Coq-Combi/commits/aeb2e3128ff48c8c3cbbcd2e86a7b3853304d278"},{"sha":"c278e88819399da4e5d98d2bf9ae1e9271ae3c18","author":{"email":"c9c378ce3140ef5347cfd390951bb5e31b98f5f4@lri.fr","name":"Florent Hivert"},"message":"Various ordered types and inhabited types.","distinct":false,"url":"https://api.github.com/repos/hivert/Coq-Combi/commits/c278e88819399da4e5d98d2bf9ae1e9271ae3c18"},{"sha":"36439dbf9cccce29f6034af243f2e25d97ca8f3b","author":{"email":"c9c378ce3140ef5347cfd390951bb5e31b98f5f4@lri.fr","name":"Florent Hivert"},"message":"Simplified going back and forth to Dual","distinct":false,"url":"https://api.github.com/repos/hivert/Coq-Combi/commits/36439dbf9cccce29f6034af243f2e25d97ca8f3b"},{"sha":"9ce7089fa82e289f6c8c48a04fb23c15255ada5d","author":{"email":"c9c378ce3140ef5347cfd390951bb5e31b98f5f4@lri.fr","name":"Florent Hivert"},"message":"Adapted to new multinomials-ssr","distinct":false,"url":"https://api.github.com/repos/hivert/Coq-Combi/commits/9ce7089fa82e289f6c8c48a04fb23c15255ada5d"}]}