{"push_id":1106193021,"size":15,"distinct_size":15,"ref":"refs/heads/master","head":"f72c34724bce96b7ba595200df0a5c9b24eec9a0","before":"94e7db4ddb1f15cf46d17691cfc5375574053796","commits":[{"sha":"62f9b4870c3693045e914a243c967b7ed5a95e23","author":{"email":"0cb26e2242f1e2f5cbbc8204af141dee67d5fa79@crocodile.org","name":"Vadim Zaliva"},"message":"ignore generated files","distinct":true,"url":"https://api.github.com/repos/ybertot/coq-dpdgraph/commits/62f9b4870c3693045e914a243c967b7ed5a95e23"},{"sha":"1c7f3a5de6835e22b41e93fe2d0bdf75fdf208bb","author":{"email":"0cb26e2242f1e2f5cbbc8204af141dee67d5fa79@crocodile.org","name":"Vadim Zaliva"},"message":"separate build for dpd2dot and dpdusage","distinct":true,"url":"https://api.github.com/repos/ybertot/coq-dpdgraph/commits/1c7f3a5de6835e22b41e93fe2d0bdf75fdf208bb"},{"sha":"38b3ce536275aae38204687e590bc66909e18609","author":{"email":"0cb26e2242f1e2f5cbbc8204af141dee67d5fa79@crocodile.org","name":"Vadim Zaliva"},"message":"removed -o option from dpdusage to verify build","distinct":true,"url":"https://api.github.com/repos/ybertot/coq-dpdgraph/commits/38b3ce536275aae38204687e590bc66909e18609"},{"sha":"102890fd524bcf4a0c2c47db5cefed9dd07e1ffd","author":{"email":"0cb26e2242f1e2f5cbbc8204af141dee67d5fa79@crocodile.org","name":"Vadim Zaliva"},"message":"ignore generated binary","distinct":true,"url":"https://api.github.com/repos/ybertot/coq-dpdgraph/commits/102890fd524bcf4a0c2c47db5cefed9dd07e1ffd"},{"sha":"f742eb2a6323be02063f1f2954312963639a4be7","author":{"email":"0cb26e2242f1e2f5cbbc8204af141dee67d5fa79@crocodile.org","name":"Vadim Zaliva"},"message":"usage corrected","distinct":true,"url":"https://api.github.com/repos/ybertot/coq-dpdgraph/commits/f742eb2a6323be02063f1f2954312963639a4be7"},{"sha":"a77c71821eaed4a8287a6c9957421e43efa95475","author":{"email":"0cb26e2242f1e2f5cbbc8204af141dee67d5fa79@crocodile.org","name":"Vadim Zaliva"},"message":"-threshold option","distinct":true,"url":"https://api.github.com/repos/ybertot/coq-dpdgraph/commits/a77c71821eaed4a8287a6c9957421e43efa95475"},{"sha":"f622c7bdaa9fce15b3da4990539ea9041a157cc4","author":{"email":"0cb26e2242f1e2f5cbbc8204af141dee67d5fa79@crocodile.org","name":"Vadim Zaliva"},"message":"documentation","distinct":true,"url":"https://api.github.com/repos/ybertot/coq-dpdgraph/commits/f622c7bdaa9fce15b3da4990539ea9041a157cc4"},{"sha":"1a8b8b6441de38cf17cfccd7a2b17bc2b8a2eedd","author":{"email":"0cb26e2242f1e2f5cbbc8204af141dee67d5fa79@crocodile.org","name":"Vadim Zaliva"},"message":"typo corrected","distinct":true,"url":"https://api.github.com/repos/ybertot/coq-dpdgraph/commits/1a8b8b6441de38cf17cfccd7a2b17bc2b8a2eedd"},{"sha":"ed0cc04f33931911716ebad4ea383fee037f5a9b","author":{"email":"0cb26e2242f1e2f5cbbc8204af141dee67d5fa79@crocodile.org","name":"Vadim Zaliva"},"message":"print path option","distinct":true,"url":"https://api.github.com/repos/ybertot/coq-dpdgraph/commits/ed0cc04f33931911716ebad4ea383fee037f5a9b"},{"sha":"d99e8ba8c07b6eb24934c9d81cfe4a00a0bf9504","author":{"email":"2b864cbced6af414f3d6fd8201cc84d7050cc061@users.noreply.github.com","name":"Karmaki"},"message":"README: move the dpdusage section and fix other sections","distinct":true,"url":"https://api.github.com/repos/ybertot/coq-dpdgraph/commits/d99e8ba8c07b6eb24934c9d81cfe4a00a0bf9504"},{"sha":"a9389bc66070d4360354985e071c00d50b0d0353","author":{"email":"2b864cbced6af414f3d6fd8201cc84d7050cc061@users.noreply.github.com","name":"Karmaki"},"message":"update Changelog","distinct":true,"url":"https://api.github.com/repos/ybertot/coq-dpdgraph/commits/a9389bc66070d4360354985e071c00d50b0d0353"},{"sha":"64524226d4d64b2b0c68a6e9268eea73d56fccd6","author":{"email":"2b864cbced6af414f3d6fd8201cc84d7050cc061@users.noreply.github.com","name":"Karmaki"},"message":"add dpdusage test and oracle","distinct":true,"url":"https://api.github.com/repos/ybertot/coq-dpdgraph/commits/64524226d4d64b2b0c68a6e9268eea73d56fccd6"},{"sha":"151f94b85d1e976a2ed7430b053da4de69d549e7","author":{"email":"2b864cbced6af414f3d6fd8201cc84d7050cc061@users.noreply.github.com","name":"Karmaki"},"message":"Merge pull request #5 from Karmaki/dpdusage\n\nAdd dpdusage from vzaliva","distinct":true,"url":"https://api.github.com/repos/ybertot/coq-dpdgraph/commits/151f94b85d1e976a2ed7430b053da4de69d549e7"},{"sha":"e033dd6b0ff1e4a9154cd6247368d3ef320c4867","author":{"email":"2b864cbced6af414f3d6fd8201cc84d7050cc061@users.noreply.github.com","name":"Karmaki"},"message":"update oracles","distinct":true,"url":"https://api.github.com/repos/ybertot/coq-dpdgraph/commits/e033dd6b0ff1e4a9154cd6247368d3ef320c4867"},{"sha":"f72c34724bce96b7ba595200df0a5c9b24eec9a0","author":{"email":"7dfeecbe7e22fca27abd5fa0190f9b80fafde1c1@inria.fr","name":"Yves Bertot"},"message":"Merge branch 'master' of github.com:karmaki/coq-dpdgraph","distinct":true,"url":"https://api.github.com/repos/ybertot/coq-dpdgraph/commits/f72c34724bce96b7ba595200df0a5c9b24eec9a0"}]}