{"push_id":1389219268,"size":755,"distinct_size":755,"ref":"refs/heads/master","head":"a50786c492ffd95b9ab4f9cf04a91778a0747e94","before":"44ff6879ab143dc091e5fcdae42c6e0d2e449d11","commits":[{"sha":"bbf5ce066d4e94156f0818ec9946cdf7ffbcb230","author":{"name":"Philipp Wendler","email":"4daf4f0d85ca09ff1c0203a9f8c631d5f538d77e@philippwendler.de"},"message":"Don't throw exception if multiple <require> tags are used\nin benchmark definition, this is allowed as long as they\ndo not contain contradicting attributes.","distinct":true,"url":"https://api.github.com/repos/mutilin/benchexec/commits/bbf5ce066d4e94156f0818ec9946cdf7ffbcb230"},{"sha":"9c4f010cc98b66ce2e0f72792262fedcf20cbef6","author":{"name":"Philipp Wendler","email":"4daf4f0d85ca09ff1c0203a9f8c631d5f538d77e@philippwendler.de"},"message":"Calculcate table statisticy only if necessary.","distinct":true,"url":"https://api.github.com/repos/mutilin/benchexec/commits/9c4f010cc98b66ce2e0f72792262fedcf20cbef6"},{"sha":"469ff793f2daf16ee8b621b75c226c6381240b91","author":{"name":"Philipp Wendler","email":"4daf4f0d85ca09ff1c0203a9f8c631d5f538d77e@philippwendler.de"},"message":"Change definition of median as used for statistics tooltips of HTML tables.\nPreviously for lists with an even list the \"upper\" median was used,\nnow we use the arithmetic mean of the two middle values.","distinct":true,"url":"https://api.github.com/repos/mutilin/benchexec/commits/469ff793f2daf16ee8b621b75c226c6381240b91"},{"sha":"803c7f8585c78ed137c3ca063aad3f064129f5e1","author":{"name":"Philipp Wendler","email":"4daf4f0d85ca09ff1c0203a9f8c631d5f538d77e@philippwendler.de"},"message":"Do not round statistics value prematurely.","distinct":true,"url":"https://api.github.com/repos/mutilin/benchexec/commits/803c7f8585c78ed137c3ca063aad3f064129f5e1"},{"sha":"b5fb1852027e5d86b4ace49763b0a228000658ad","author":{"name":"Philipp Wendler","email":"4daf4f0d85ca09ff1c0203a9f8c631d5f538d77e@philippwendler.de"},"message":"Add tests for statistics computation.","distinct":true,"url":"https://api.github.com/repos/mutilin/benchexec/commits/b5fb1852027e5d86b4ace49763b0a228000658ad"},{"sha":"244bead8676533183e592e1c0e4219dcb08c7d1b","author":{"name":"Philipp Wendler","email":"4daf4f0d85ca09ff1c0203a9f8c631d5f538d77e@philippwendler.de"},"message":"Optimize statistics computation by avoiding duplicate computations.\nStatistics are one of the most expensive parts of table-generator\naccording to profiling.","distinct":true,"url":"https://api.github.com/repos/mutilin/benchexec/commits/244bead8676533183e592e1c0e4219dcb08c7d1b"},{"sha":"ebffda0ec0f2619ad1071bb1d00d87ce08d59498","author":{"name":"Jan Mrázek","email":"7ab05a0d12179b5166dc103f44a516627aff3c5b@honzamrazek.cz"},"message":"Add support for SymDIVINE tool","distinct":true,"url":"https://api.github.com/repos/mutilin/benchexec/commits/ebffda0ec0f2619ad1071bb1d00d87ce08d59498"},{"sha":"8394147a0729c4cea615d5a8aaf4cacf2b35207e","author":{"name":"Philipp Wendler","email":"981643a0f67b83c223d07a9a9d8e92df47294166@users.noreply.github.com"},"message":"Merge pull request #54 from yaqwsx/master\n\nTool wrapper for SymDIVINE","distinct":true,"url":"https://api.github.com/repos/mutilin/benchexec/commits/8394147a0729c4cea615d5a8aaf4cacf2b35207e"},{"sha":"16180daf589185e730d06768bacbd1350d27d191","author":{"name":"Martin Hruska","email":"edfd6834c5a61c260931d2c1df904836e00b0af8@gmail.com"},"message":"added forester script","distinct":true,"url":"https://api.github.com/repos/mutilin/benchexec/commits/16180daf589185e730d06768bacbd1350d27d191"},{"sha":"23c1f6bc42cded4fe087f6ead8e9e1fa622d1216","author":{"name":"Martin Hruska","email":"edfd6834c5a61c260931d2c1df904836e00b0af8@gmail.com"},"message":"code formatting","distinct":true,"url":"https://api.github.com/repos/mutilin/benchexec/commits/23c1f6bc42cded4fe087f6ead8e9e1fa622d1216"},{"sha":"66abe54aca2f19777387c26abbb3de4801d00cb0","author":{"name":"Michal Kotoun","email":"128241de93f05840e5a2a3d558674d30048909f7@stud.fit.vutbr.cz"},"message":"Added driver for Predator-HP","distinct":true,"url":"https://api.github.com/repos/mutilin/benchexec/commits/66abe54aca2f19777387c26abbb3de4801d00cb0"},{"sha":"7052240e894bd1d563cb76f606c7cd899f5b72c8","author":{"name":"Wei","email":"fb98242a50d75dab760b39e4d1977f574d79e9e1@church.cims.nyu.edu"},"message":"wrapper for cascade","distinct":true,"url":"https://api.github.com/repos/mutilin/benchexec/commits/7052240e894bd1d563cb76f606c7cd899f5b72c8"},{"sha":"af63d860612c541fa5d01a996d08d6f01f4ed5bd","author":{"name":"Philipp Wendler","email":"981643a0f67b83c223d07a9a9d8e92df47294166@users.noreply.github.com"},"message":"Merge pull request #55 from martinhruska/forester\n\nTool wrapper for Forester","distinct":true,"url":"https://api.github.com/repos/mutilin/benchexec/commits/af63d860612c541fa5d01a996d08d6f01f4ed5bd"},{"sha":"b93123131667071cdaa27e03a3fd4e6cad7a5fbb","author":{"name":"Philipp Wendler","email":"981643a0f67b83c223d07a9a9d8e92df47294166@users.noreply.github.com"},"message":"Merge pull request #56 from michkot/master\n\nTool wrapper for Predator-HP","distinct":true,"url":"https://api.github.com/repos/mutilin/benchexec/commits/b93123131667071cdaa27e03a3fd4e6cad7a5fbb"},{"sha":"d1d910768643a366f59e89076501b8475773a0ad","author":{"name":"Wei","email":"fb98242a50d75dab760b39e4d1977f574d79e9e1@church.cims.nyu.edu"},"message":"update version output and result parsing","distinct":true,"url":"https://api.github.com/repos/mutilin/benchexec/commits/d1d910768643a366f59e89076501b8475773a0ad"},{"sha":"c1be29ed84f9cb66fcadf1acd2bae126cba18640","author":{"name":"Philipp Wendler","email":"981643a0f67b83c223d07a9a9d8e92df47294166@users.noreply.github.com"},"message":"Merge pull request #57 from Betsy-Wang/master\n\nTool wrapper for Cascade","distinct":true,"url":"https://api.github.com/repos/mutilin/benchexec/commits/c1be29ed84f9cb66fcadf1acd2bae126cba18640"},{"sha":"0c423f826c0d1501240758b21532ce224bf2586d","author":{"name":"Michal Kotoun","email":"128241de93f05840e5a2a3d558674d30048909f7@stud.fit.vutbr.cz"},"message":"Fix for predatorhp.py need for working directory settings","distinct":true,"url":"https://api.github.com/repos/mutilin/benchexec/commits/0c423f826c0d1501240758b21532ce224bf2586d"},{"sha":"2a5df12359fc025cd638f9ab45f821a6fd506ec8","author":{"name":"Philipp Wendler","email":"981643a0f67b83c223d07a9a9d8e92df47294166@users.noreply.github.com"},"message":"Merge pull request #58 from michkot/master\n\nFix working directory of Predator-HP","distinct":true,"url":"https://api.github.com/repos/mutilin/benchexec/commits/2a5df12359fc025cd638f9ab45f821a6fd506ec8"},{"sha":"c7a3beb91df558fed7be2ec5bdf2eecd816321c3","author":{"name":"Herbert","email":"d03bb4f3fc3e66e59333d2f2e43f7db02350ac54@gmail.com"},"message":"Add wrapper script for map2check","distinct":true,"url":"https://api.github.com/repos/mutilin/benchexec/commits/c7a3beb91df558fed7be2ec5bdf2eecd816321c3"},{"sha":"1f5e99a2613f4751d6d38ec49d08eec8b25a0f56","author":{"name":"Matt Roberts","email":"d4944443773ed861f0926cc1946b6ad3ac762d03@mq.edu.au"},"message":"skink svcomp16 wrapper","distinct":true,"url":"https://api.github.com/repos/mutilin/benchexec/commits/1f5e99a2613f4751d6d38ec49d08eec8b25a0f56"}]}
{"actor":{"display_login":"mutilin"}}