{"push_id":3054896061,"size":14,"distinct_size":6,"ref":"refs/heads/ci","head":"b9548021f38acb804f2ed7ce83a4d5cf8794a705","before":"fc5997af785fa7c42fbb9dadafa9e6382981d52d","commits":[{"sha":"32cb634474ac10c70b5e19bfc929893e37b1d308","author":{"name":"Kareem Khazem","email":"20e9b6e8811b050dc0d665e3d38a1a54e58e40a9@karkhaz.com"},"message":"Replace memcpy with memmove for overlapping memory\n\nThis commit replaces calls to `memcpy` with calls to `memmove` where the\nsource and destination addresses could potentially overlap, and adds an\nextern declaration of `memmove` to those files if they did not already\nhave one. The overlaps were detected using the CBMC Path tool. Calling\n`memcpy` on such overlapping memory areas is undefined behaviour, so\nCBMC returns a counterexample on benchmarks that are expected to return\ntrue.\n\nThis commit fixes the same issues that 55d4083f does for more source\nfiles, but also correctly includes extern declarations of memmove as\nintroduced in the bugfix 1280ba1f.","distinct":false,"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/commits/32cb634474ac10c70b5e19bfc929893e37b1d308"},{"sha":"49662fe2c24c3c68cbad28af1d0457d22baf04b2","author":{"name":"Dirk Beyer","email":"386a21e92f3928c26c3bfdc636aedf05dbb980b2@sosy-lab.org"},"message":"Merge branch 'master' into kk-overlaps-2018-11-13","distinct":false,"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/commits/49662fe2c24c3c68cbad28af1d0457d22baf04b2"},{"sha":"2a6c3e6ff4503770466f3f98ef0c609dbb3b2df6","author":{"name":"Dirk Beyer","email":"386a21e92f3928c26c3bfdc636aedf05dbb980b2@sosy-lab.org"},"message":"Merge pull request #673 from karkhaz/kk-overlaps-2018-11-13\n\nReplace memcpy with memmove for overlapping memory","distinct":false,"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/commits/2a6c3e6ff4503770466f3f98ef0c609dbb3b2df6"},{"sha":"28c2c937db0f65a724c6e0283f462ce9904f7721","author":{"name":"Philipp Wendler","email":"f73373ed1a26a50ab84500f661b715ececc261b5@philippwendler.de"},"message":"fix broken Java code from a61b71c2","distinct":false,"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/commits/28c2c937db0f65a724c6e0283f462ce9904f7721"},{"sha":"a6668af7edd643ad03c4e49eb7410d7223bf3e4b","author":{"name":"Peter Schrammel","email":"644cd02e1403dc68fa4d3b6ae4171f513505ac80@diffblue.com"},"message":"Fix bug introduced in f9eb01ea\n\nAn odd number was expected","distinct":false,"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/commits/a6668af7edd643ad03c4e49eb7410d7223bf3e4b"},{"sha":"6510ce8f75dd34af20e1a8c3b858d0fb53a2a959","author":{"name":"Dirk Beyer","email":"386a21e92f3928c26c3bfdc636aedf05dbb980b2@sosy-lab.org"},"message":"Merge pull request #680 from peterschrammel/fix-bitwise1\n\nFix bitwise1","distinct":false,"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/commits/6510ce8f75dd34af20e1a8c3b858d0fb53a2a959"},{"sha":"0d02bf75d686b7635294dae96a2fa34a1743177f","author":{"name":"Dirk Beyer","email":"386a21e92f3928c26c3bfdc636aedf05dbb980b2@sosy-lab.org"},"message":"Merge branch 'master' into iarith2","distinct":false,"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/commits/0d02bf75d686b7635294dae96a2fa34a1743177f"},{"sha":"7b4690831a3dddc9694436038ebc20fa20fdfdd5","author":{"name":"Dirk Beyer","email":"386a21e92f3928c26c3bfdc636aedf05dbb980b2@sosy-lab.org"},"message":"Merge pull request #678 from sosy-lab/iarith2\n\nfix broken Java code from a61b71c2","distinct":false,"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/commits/7b4690831a3dddc9694436038ebc20fa20fdfdd5"},{"sha":"44d2c78cbab6d03c9660a8c977ca1a2daac1001a","author":{"name":"Philipp Wendler","email":"f73373ed1a26a50ab84500f661b715ececc261b5@philippwendler.de"},"message":"Bump version number of BenchExec task-definition files to 1.0","distinct":true,"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/commits/44d2c78cbab6d03c9660a8c977ca1a2daac1001a"},{"sha":"dd9c00c883315202fbe137460ae167f1b7b719b9","author":{"name":"Philipp Wendler","email":"f73373ed1a26a50ab84500f661b715ececc261b5@philippwendler.de"},"message":"Migrate check.py to Python 3","distinct":true,"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/commits/dd9c00c883315202fbe137460ae167f1b7b719b9"},{"sha":"90b094a0b7ef979be4f57c382dbe4af1434696e4","author":{"name":"Philipp Wendler","email":"f73373ed1a26a50ab84500f661b715ececc261b5@philippwendler.de"},"message":"Add definitions for running checks on GitLab CI in Docker containers\n\nThis has several advantages over Travis:\n- easy to execute locally with \"gitlab-runner exec ...\"\n- can produce result files (\"artifacts\") which can be viewed afterwards","distinct":true,"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/commits/90b094a0b7ef979be4f57c382dbe4af1434696e4"},{"sha":"989209709e1bec357ea9c36c40e92c5c7817e775","author":{"name":"Philipp Wendler","email":"f73373ed1a26a50ab84500f661b715ececc261b5@philippwendler.de"},"message":"Suppress a new warning of clang-3.9 such that CI on Docker succeeds","distinct":true,"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/commits/989209709e1bec357ea9c36c40e92c5c7817e775"},{"sha":"e4e01b80ab737914c3571c61a1a2804fd73baaf9","author":{"name":"Philipp Wendler","email":"f73373ed1a26a50ab84500f661b715ececc261b5@philippwendler.de"},"message":"Rewrite Travis CI checks to use Docker\n\nThis allows us to use customized environments for each of the jobs\ninstead of relying on the often-outdated versions from Travis.","distinct":true,"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/commits/e4e01b80ab737914c3571c61a1a2804fd73baaf9"},{"sha":"b9548021f38acb804f2ed7ce83a4d5cf8794a705","author":{"name":"Philipp Wendler","email":"f73373ed1a26a50ab84500f661b715ececc261b5@philippwendler.de"},"message":"Re-add check that compilation of Java tasks succeeds\n\nNow this check is based on BenchExec.","distinct":true,"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/commits/b9548021f38acb804f2ed7ce83a4d5cf8794a705"}]}
{"actor":{"display_login":"PhilippWendler"}}