{"push_id":539216897,"size":7,"distinct_size":2,"ref":"refs/heads/master","head":"5b42cb33dfb48d04e1972611cbf463aa280bc5b3","before":"4e10c127de47f3890e7deb0e6e64e9aaad066ca9","commits":[{"sha":"3d8a8e62a97c0cff8d3e69b1bd4ad18a7073d6ac","author":{"email":"be02453f57292360b12c0b8412709b53625ab198@gmail.com","name":"Lucca Hirschi"},"message":"fix display trace_simple functions + display trace flag","distinct":false,"url":"https://api.github.com/repos/APTE/APTE/commits/3d8a8e62a97c0cff8d3e69b1bd4ad18a7073d6ac"},{"sha":"0d8fcec5e2ebf023d85ae48d9fe9e315273bb437","author":{"email":"be02453f57292360b12c0b8412709b53625ab198@gmail.com","name":"Lucca Hirschi"},"message":"do not process trace_blocks at all when with_por is not enabled","distinct":false,"url":"https://api.github.com/repos/APTE/APTE/commits/0d8fcec5e2ebf023d85ae48d9fe9e315273bb437"},{"sha":"af245343b1fe63111bfb74086cf54d7a086be754","author":{"email":"be02453f57292360b12c0b8412709b53625ab198@gmail.com","name":"Lucca Hirschi"},"message":"smarter management of log folder","distinct":false,"url":"https://api.github.com/repos/APTE/APTE/commits/af245343b1fe63111bfb74086cf54d7a086be754"},{"sha":"ca0cca03f69c05a5baa07c18b931f3389e06573b","author":{"email":"be02453f57292360b12c0b8412709b53625ab198@gmail.com","name":"Lucca Hirschi"},"message":"Merge branch 'reduction' into reduction+impropre\n\nConflicts:\n\tSource/standard_library/process.ml\n\tSource/trace_equivalence/algorithm.ml","distinct":false,"url":"https://api.github.com/repos/APTE/APTE/commits/ca0cca03f69c05a5baa07c18b931f3389e06573b"},{"sha":"dadd4cf9bd897d39dd4a7224ce0614c4b36287ce","author":{"email":"be02453f57292360b12c0b8412709b53625ab198@gmail.com","name":"Lucca Hirschi"},"message":"Merge branch 'reduction+impropre' into POR\n\nConflicts:\n\tSource/trace_equivalence/algorithm.ml","distinct":false,"url":"https://api.github.com/repos/APTE/APTE/commits/dadd4cf9bd897d39dd4a7224ce0614c4b36287ce"},{"sha":"24e0a14aca2322f22c305b5eab7646e57caf8d1b","author":{"email":"be02453f57292360b12c0b8412709b53625ab198@gmail.com","name":"Lucca Hirschi"},"message":"Merge branch 'POR'","distinct":true,"url":"https://api.github.com/repos/APTE/APTE/commits/24e0a14aca2322f22c305b5eab7646e57caf8d1b"},{"sha":"5b42cb33dfb48d04e1972611cbf463aa280bc5b3","author":{"email":"be02453f57292360b12c0b8412709b53625ab198@gmail.com","name":"Lucca Hirschi"},"message":"Merge branch 'master' of github.com:APTE/APTE","distinct":true,"url":"https://api.github.com/repos/APTE/APTE/commits/5b42cb33dfb48d04e1972611cbf463aa280bc5b3"}]}