{"push_id":932567682,"size":6,"distinct_size":6,"ref":"refs/heads/master","head":"30f759dd8b5d877d89f1331cfb18d193bfbddaf0","before":"6c43a8037fe6f9be729d7216bf6494a083beacaf","commits":[{"sha":"9bddbd8544c96ca0f4c8725cc1e001ce269116bb","author":{"email":"de902762ba1fb2d6136c501c0e7409f380676d50@stud.uni-passau.de","name":"Thomas Lemberger"},"message":"In output, correct rounding issue and displayed number of digits.\n\nFixes a bug that rounded values to integers if their initial float value had the exact amount of intended significant digits or less.\nAnd also considers the amount of significant digits the initial value had.\nA rounded float can't get more zeros added to its end to reach the intended amount of significant digits than its\ninitial value's significant digits.\n\nIf the value is zero, not more zeros are added than the initial input had.\n E.g. for value 0.000 and intended number of 6 significant digits, the output\n will still be 0.000, not 0.00000","distinct":true,"url":"https://api.github.com/repos/sosy-lab/benchexec/commits/9bddbd8544c96ca0f4c8725cc1e001ce269116bb"},{"sha":"b0e5ef664ecf98cb8bf1f4b48310d0f9ad375793","author":{"email":"de902762ba1fb2d6136c501c0e7409f380676d50@stud.uni-passau.de","name":"Thomas Lemberger"},"message":"Refactor: rename variable names to avoid camelCase in function variable names.","distinct":true,"url":"https://api.github.com/repos/sosy-lab/benchexec/commits/b0e5ef664ecf98cb8bf1f4b48310d0f9ad375793"},{"sha":"769e9ea242c441ec0fb9283fbd22336bdf6fa329","author":{"email":"de902762ba1fb2d6136c501c0e7409f380676d50@stud.uni-passau.de","name":"Thomas Lemberger"},"message":"Fix bug: Stats and stats_columns are retrieved for all runsets.\n\nPreviously, stats and stats_columns were only retrieved for the first runset due to naive type handling.","distinct":true,"url":"https://api.github.com/repos/sosy-lab/benchexec/commits/769e9ea242c441ec0fb9283fbd22336bdf6fa329"},{"sha":"e864c8a65c0971fd75f46603b9c1f17ac0d9e4e8","author":{"email":"de902762ba1fb2d6136c501c0e7409f380676d50@stud.uni-passau.de","name":"Thomas Lemberger"},"message":"Merge branch 'master' of https://github.com/sosy-lab/benchexec","distinct":true,"url":"https://api.github.com/repos/sosy-lab/benchexec/commits/e864c8a65c0971fd75f46603b9c1f17ac0d9e4e8"},{"sha":"191d1c2a0fba9317ee373990134d9889bea7d37b","author":{"email":"de902762ba1fb2d6136c501c0e7409f380676d50@stud.uni-passau.de","name":"Thomas Lemberger"},"message":"Convert float values in formatting to uniform float representation.","distinct":true,"url":"https://api.github.com/repos/sosy-lab/benchexec/commits/191d1c2a0fba9317ee373990134d9889bea7d37b"},{"sha":"30f759dd8b5d877d89f1331cfb18d193bfbddaf0","author":{"email":"de902762ba1fb2d6136c501c0e7409f380676d50@stud.uni-passau.de","name":"Thomas Lemberger"},"message":"In output, missing values in statistics summary are displayed correctly.\n\nOnly add a StatValue to statistics summary if a real value exists.\nOtherwise add None, as in the other statistics.\nNone values will be interpreted by the formatter. Currently, '-' is displayed.","distinct":true,"url":"https://api.github.com/repos/sosy-lab/benchexec/commits/30f759dd8b5d877d89f1331cfb18d193bfbddaf0"}]}