{"push_id":1449606917,"size":81,"distinct_size":80,"ref":"refs/heads/preproc-termination-alloca","head":"169729d60495da74dc2c8f8040f542e0a3b328e9","before":"df5e210b6c09e2ddd056c8af484e4ca60302c845","commits":[{"sha":"a809f754e962e44ce52ab41b6b8734e21df5afbb","author":{"name":"Pavel Andrianov","email":"eaf9542eee662f8223ab55eed120d5694a5b24ef@ispras.ru"},"message":"Fix a limit for PTR_ERR","distinct":true,"url":"https://api.github.com/repos/tautschnig/sv-benchmarks/commits/a809f754e962e44ce52ab41b6b8734e21df5afbb"},{"sha":"cc741ac1607b33ac15a80563fa024362164485e9","author":{"name":"Vadim Mutilin","email":"b67382934fdd54cf3aa7b30db7adab62bc34cd5d@ispras.ru"},"message":"Keep unfixed version with false-unreach-call as suggested in #197","distinct":true,"url":"https://api.github.com/repos/tautschnig/sv-benchmarks/commits/cc741ac1607b33ac15a80563fa024362164485e9"},{"sha":"31fabfe310cbed9c27cddcb59290ccffd4226ee2","author":{"name":"Dirk Beyer","email":"8f1347c3bc5c64c00d822d398f6cd84ad84eb8b1@sosy-lab.org"},"message":"More strict pattern matching in set files to avoid duplicate entries.","distinct":true,"url":"https://api.github.com/repos/tautschnig/sv-benchmarks/commits/31fabfe310cbed9c27cddcb59290ccffd4226ee2"},{"sha":"460b2254badbfd91cb1b0690731f4ced14708674","author":{"name":"Dirk Beyer","email":"8f1347c3bc5c64c00d822d398f6cd84ad84eb8b1@sosy-lab.org"},"message":"More appropriate name for the original Termination category","distinct":true,"url":"https://api.github.com/repos/tautschnig/sv-benchmarks/commits/460b2254badbfd91cb1b0690731f4ced14708674"},{"sha":"c13a81a4139a3b6383960ab2bfbf1449a045aa67","author":{"name":"Dirk Beyer","email":"8f1347c3bc5c64c00d822d398f6cd84ad84eb8b1@sosy-lab.org"},"message":"The 'false' patterns are not yet matched; keep them as placeholder.","distinct":true,"url":"https://api.github.com/repos/tautschnig/sv-benchmarks/commits/c13a81a4139a3b6383960ab2bfbf1449a045aa67"},{"sha":"547081308cc798149cc841be370f4567bf086cf4","author":{"name":"Zvonimir","email":"ed4e6a18237b90322dcc90d858039f5f51985faf@cs.utah.edu"},"message":"Fixed size_t of several mem safety benchmarks to match 32-bit arch\n\nLuckily these benchmarks do not have the respective preprocessed files,\nand so this was an easy fix.","distinct":true,"url":"https://api.github.com/repos/tautschnig/sv-benchmarks/commits/547081308cc798149cc841be370f4567bf086cf4"},{"sha":"933d6cb01e3e4ecc41e60fa0ae7f24cbc812e538","author":{"name":"Karlheinz Friedberger","email":"a8e3c4e97cb8861dd976f01048ab64adfd2a07fb@gmail.com"},"message":"Merge pull request #271 from smackers/memset-fix-to-32-bit\n\nFixed size_t of several mem safety benchmarks to match 32-bit arch","distinct":true,"url":"https://api.github.com/repos/tautschnig/sv-benchmarks/commits/933d6cb01e3e4ecc41e60fa0ae7f24cbc812e538"},{"sha":"847fc6ce832cd476fe2bf52b75cfb08a41882dfd","author":{"name":"leostrakosch","email":"fbe8e013849402e66441e6879e7d9958868c64eb@gmail.com"},"message":"Fix undefinedness in ControlFlow due to wrong offset, missing declarations","distinct":true,"url":"https://api.github.com/repos/tautschnig/sv-benchmarks/commits/847fc6ce832cd476fe2bf52b75cfb08a41882dfd"},{"sha":"21ba2f3642ed50145472347725c4c811412f2e6e","author":{"name":"leostrakosch","email":"fbe8e013849402e66441e6879e7d9958868c64eb@gmail.com"},"message":"Fix undefinedness in ControlFlow due to uninitialized arrays","distinct":true,"url":"https://api.github.com/repos/tautschnig/sv-benchmarks/commits/21ba2f3642ed50145472347725c4c811412f2e6e"},{"sha":"84c8a6ea49097c57dba4376fde74ed15c186d456","author":{"name":"leostrakosch","email":"fbe8e013849402e66441e6879e7d9958868c64eb@gmail.com"},"message":"Fix undefinedness in ControlFlow due to uninitialized variables","distinct":true,"url":"https://api.github.com/repos/tautschnig/sv-benchmarks/commits/84c8a6ea49097c57dba4376fde74ed15c186d456"},{"sha":"b61f0c682ac84faa4fa1fc971720ffec0a9559ad","author":{"name":"leostrakosch","email":"fbe8e013849402e66441e6879e7d9958868c64eb@gmail.com"},"message":"Remove simple and redundant false-valid-deref files in product-lines.\n\nAll of them simply fail due to an uninitialized return variable.","distinct":true,"url":"https://api.github.com/repos/tautschnig/sv-benchmarks/commits/b61f0c682ac84faa4fa1fc971720ffec0a9559ad"},{"sha":"a46723366319208848498debbfcb0e25e954399d","author":{"name":"leostrakosch","email":"fbe8e013849402e66441e6879e7d9958868c64eb@gmail.com"},"message":"Add new false-valid-deref task of loop-acceleration to check.py whitelist","distinct":true,"url":"https://api.github.com/repos/tautschnig/sv-benchmarks/commits/a46723366319208848498debbfcb0e25e954399d"},{"sha":"b1ccce49cf50b3fbbd1b02a993f61dee33bda51d","author":{"name":"leostrakosch","email":"fbe8e013849402e66441e6879e7d9958868c64eb@gmail.com"},"message":"Remove unnecessary printf from file. stdio.h no longer needed.","distinct":true,"url":"https://api.github.com/repos/tautschnig/sv-benchmarks/commits/b1ccce49cf50b3fbbd1b02a993f61dee33bda51d"},{"sha":"96e40a4a200a11c6fa0535b59d3c7cb54edffb3f","author":{"name":"Philipp Wendler","email":"4daf4f0d85ca09ff1c0203a9f8c631d5f538d77e@philippwendler.de"},"message":"fix syntax error","distinct":true,"url":"https://api.github.com/repos/tautschnig/sv-benchmarks/commits/96e40a4a200a11c6fa0535b59d3c7cb54edffb3f"},{"sha":"6dc4fcef869fad3352e52a3b9fc8df6087cb9896","author":{"name":"Philipp Wendler","email":"981643a0f67b83c223d07a9a9d8e92df47294166@users.noreply.github.com"},"message":"Merge pull request #197 from mutilin/fix_limit_for_ptr_err\n\nFix a limit for PTR_ERR","distinct":true,"url":"https://api.github.com/repos/tautschnig/sv-benchmarks/commits/6dc4fcef869fad3352e52a3b9fc8df6087cb9896"},{"sha":"90b49ce25667ad6e6a862386eadc206c0c09b24e","author":{"name":"Michael Tautschnig","email":"ea46e54ebc598c282550d046aed4a7e518030048@qmul.ac.uk"},"message":"Use goto-diff to compare original source and preprocessed files\n\nIn the past, source files and their preprocessed counterparts had not\nalways been updated synchronously. This commit adds a script to compare\nall sets except for Concurrency using goto-diff as discussed on the\nsv-comp mailing list.","distinct":false,"url":"https://api.github.com/repos/tautschnig/sv-benchmarks/commits/90b49ce25667ad6e6a862386eadc206c0c09b24e"},{"sha":"3885bf77da886cb4fefe389040ac732b7338cd88","author":{"name":"Philipp Wendler","email":"4daf4f0d85ca09ff1c0203a9f8c631d5f538d77e@philippwendler.de"},"message":"Rename _false-valid-deref file to remove verdicts of other properties.\n\nWe don't want to check other properties in benchmarks that have known\ninvalid dereferences.\n\nAlso add missing preprocessed version.","distinct":true,"url":"https://api.github.com/repos/tautschnig/sv-benchmarks/commits/3885bf77da886cb4fefe389040ac732b7338cd88"},{"sha":"fae0943b2dc48bf6c72cb3fb77e147e7fe0a3fc4","author":{"name":"Philipp Wendler","email":"981643a0f67b83c223d07a9a9d8e92df47294166@users.noreply.github.com"},"message":"Merge pull request #272 from tautschnig/rfc-compare\n\nUse goto-diff to compare original source and preprocessed files","distinct":true,"url":"https://api.github.com/repos/tautschnig/sv-benchmarks/commits/fae0943b2dc48bf6c72cb3fb77e147e7fe0a3fc4"},{"sha":"1db3575a704597f2370fa8a96230c2181a428449","author":{"name":"dangl@fim.uni-passau.de","email":"83a36e38973b9eb419e819842eddc03248d6b64f@fim.uni-passau.de"},"message":"Revert \"these benchmarks are incorrectly labeled, replacing non-deterministic values by concrete ones, we can check that the assertion fails\"\n\nThis reverts commit f33da67636b20a80c91dcce0001e4f7805962b07.","distinct":true,"url":"https://api.github.com/repos/tautschnig/sv-benchmarks/commits/1db3575a704597f2370fa8a96230c2181a428449"},{"sha":"b6827852b10aa81cb8e3aa81b68fef99e7640a4d","author":{"name":"dangl@fim.uni-passau.de","email":"83a36e38973b9eb419e819842eddc03248d6b64f@fim.uni-passau.de"},"message":"Remove some tasks incorrectly added in #234; these do not actually contain overflows.","distinct":true,"url":"https://api.github.com/repos/tautschnig/sv-benchmarks/commits/b6827852b10aa81cb8e3aa81b68fef99e7640a4d"}]}
{"actor":{"display_login":"dbeyer"}}