{"push_id":847225959,"size":85,"distinct_size":85,"ref":"refs/heads/master","head":"d457edbc62e639cba9a5dab4e6529e423b83b40c","before":"b235e7537f6ba72b741ad7f2e28f3914096e4744","commits":[{"sha":"91c03f1e6bd060827e100e2e89dcd4539ff17056","author":{"email":"c995272d790dfb7d7fa67f408470b204f7364d6c@gmail.com","name":"Guoanshisb"},"message":"Add a patch to bitvector/modulus_true-unreach-call.i\nAccording to C standard, rhs of left shift operation being greater than the promoted integer bitwidth leads to undefined behavior.","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/91c03f1e6bd060827e100e2e89dcd4539ff17056"},{"sha":"580aa8562ea0358de64753798e7b03a47f1b2bdb","author":{"email":"bdcaa0682677dc406773a1c4ba4307355d42531f@ispras.ru","name":"Pavel"},"message":"Remove calls of uninitialized function pointers","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/580aa8562ea0358de64753798e7b03a47f1b2bdb"},{"sha":"db948e53f93f22505ca9dff8b8ec72844064a849","author":{"email":"bdcaa0682677dc406773a1c4ba4307355d42531f@ispras.ru","name":"Pavel"},"message":"Initialize err within __VERIFIER_nondet_int\n\nThis is done instead of removed call of unknown function pointer","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/db948e53f93f22505ca9dff8b8ec72844064a849"},{"sha":"01f539512c4a1bc0be6ce118a34838939e56c1f7","author":{"email":"bdcaa0682677dc406773a1c4ba4307355d42531f@ispras.ru","name":"Pavel"},"message":"Remove uninitialized function pointers from the second file\n\nIt is the same driver as in the previous commit, but the other commit in kernel.","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/01f539512c4a1bc0be6ce118a34838939e56c1f7"},{"sha":"ff05c25b3be0dbb55829e20104e2a600f5c2ea2e","author":{"email":"f02deabc026083422c4080a2a3c0fa14358d5b51@imperial.ac.uk","name":"Dan Liew"},"message":"Re-add files (as symlinks) removed by 464939abd31d9d8cf75c3c53e000f9823315c803\n\nAlthough they are technical redundant the ``Loops.set`` file refers\nto them and my action in 464939abd31d9d8cf75c3c53e000f9823315c803\naccidently removed those benchmarks from that category.","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/ff05c25b3be0dbb55829e20104e2a600f5c2ea2e"},{"sha":"088379f371396899160aab5e61e7c4cb7cedc34e","author":{"email":"f02deabc026083422c4080a2a3c0fa14358d5b51@imperial.ac.uk","name":"Dan Liew"},"message":"Fix some uinitialised variables by assigning them values from\n__VERIFIER_nondet_int().","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/088379f371396899160aab5e61e7c4cb7cedc34e"},{"sha":"8d562d748b7f19bf4cff6784f03679e8556ac5f1","author":{"email":"f75c399cc90244e26e6319132b16756799e7d78b@cs.utah.edu","name":"Zvonimir"},"message":"Merge branch 'master' of github.com:smackers/sv-benchmarks","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/8d562d748b7f19bf4cff6784f03679e8556ac5f1"},{"sha":"94c43ea30fba7ce467f5ae1b14c8fc4a43db1f98","author":{"email":"c995272d790dfb7d7fa67f408470b204f7364d6c@gmail.com","name":"Guoanshisb"},"message":"Add a patch to bitvector/modulus_true-unreach-call.i\nAccording to C standard, rhs of left shift operation being greater than the promoted integer bitwidth leads to undefined behavior.","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/94c43ea30fba7ce467f5ae1b14c8fc4a43db1f98"},{"sha":"b41f10c3fa077e5db753b3187fb6146a31b56c51","author":{"email":"f75c399cc90244e26e6319132b16756799e7d78b@cs.utah.edu","name":"Zvonimir"},"message":"Merge branch 'master' of github.com:smackers/sv-benchmarks","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/b41f10c3fa077e5db753b3187fb6146a31b56c51"},{"sha":"05d8ab78e7cbc511c559d002d45112c389d2e181","author":{"email":"f75c399cc90244e26e6319132b16756799e7d78b@cs.utah.edu","name":"Zvonimir"},"message":"Fixed buffer underflow","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/05d8ab78e7cbc511c559d002d45112c389d2e181"},{"sha":"9b5aa1637ebe944f4684a51bbbd40891df6c5340","author":{"email":"f75c399cc90244e26e6319132b16756799e7d78b@cs.utah.edu","name":"Zvonimir"},"message":"Fixed usages of uninitialized variables","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/9b5aa1637ebe944f4684a51bbbd40891df6c5340"},{"sha":"a5e1da79a58ab4428a740c4472fbe1a429b9e168","author":{"email":"c995272d790dfb7d7fa67f408470b204f7364d6c@gmail.com","name":"Guoanshisb"},"message":"Fix undefined behavior of left-shift operation\n\nIn bitvector/interleave_bits_true-unreach-call.i, the rhs of a left-shift operation\nwill be 32 for the last iteration of the loop contained.\n\nIt leads to undefined behavior according to C standard.\n\nThe proposed fix is based on the original program from which this benchmark was ported.\nIts link is https://graphics.stanford.edu/~seander/bithacks.html#InterleaveTableObvious","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/a5e1da79a58ab4428a740c4472fbe1a429b9e168"},{"sha":"ae3fc2f5a1cc8a36e5ae399318de86e8ca41e613","author":{"email":"c1a67751a8620bd988af81f751032594e1c2da0c@ispras.ru","name":"Vadim Mutilin"},"message":"Fix a comment","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/ae3fc2f5a1cc8a36e5ae399318de86e8ca41e613"},{"sha":"220339e593f1c54e331a334b4df14d7483c8a1d2","author":{"email":"386a21e92f3928c26c3bfdc636aedf05dbb980b2@sosy-lab.org","name":"Dirk Beyer"},"message":"Separate sub-category for MemSafety","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/220339e593f1c54e331a334b4df14d7483c8a1d2"},{"sha":"732bddff5b242f7dc365e2efef9b123664b3914d","author":{"email":"325807c572bc9a0ff0163cd280b8e4dc7899bf95@wifi-roaming-128-4-178-39.host.udel.edu","name":"Manchun Zheng"},"message":"fixed overflow issue by using unsigned int instead of int","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/732bddff5b242f7dc365e2efef9b123664b3914d"},{"sha":"ee0a986d67d48c42a2370174c18810c85f88e36a","author":{"email":"c995272d790dfb7d7fa67f408470b204f7364d6c@gmail.com","name":"Guoanshisb"},"message":"Add a patch to bitvector/modulus_true-unreach-call.i\nAccording to C standard, rhs of left shift operation being greater than the promoted integer bitwidth leads to undefined behavior.","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/ee0a986d67d48c42a2370174c18810c85f88e36a"},{"sha":"3d80a9569a6d45f49121faab34a863d9799a6a00","author":{"email":"f75c399cc90244e26e6319132b16756799e7d78b@cs.utah.edu","name":"Zvonimir"},"message":"Fixed buffer underflow","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/3d80a9569a6d45f49121faab34a863d9799a6a00"},{"sha":"652a857f4acce420425e4ac7a0b58b1601dccba9","author":{"email":"f75c399cc90244e26e6319132b16756799e7d78b@cs.utah.edu","name":"Zvonimir"},"message":"Fixed usages of uninitialized variables","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/652a857f4acce420425e4ac7a0b58b1601dccba9"},{"sha":"0cf0fcd16e7db5ed15bb51a1e9a3cc73fe3f93e3","author":{"email":"f75c399cc90244e26e6319132b16756799e7d78b@cs.utah.edu","name":"Zvonimir"},"message":"Merge branch 'master' of github.com:smackers/sv-benchmarks","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/0cf0fcd16e7db5ed15bb51a1e9a3cc73fe3f93e3"},{"sha":"379996248e2a608571256bdc6d7c97b4fea8c2c8","author":{"email":"c995272d790dfb7d7fa67f408470b204f7364d6c@gmail.com","name":"Guoanshisb"},"message":"Add a patch to bitvector/modulus_true-unreach-call.i\nAccording to C standard, rhs of left shift operation being greater than the promoted integer bitwidth leads to undefined behavior.","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/379996248e2a608571256bdc6d7c97b4fea8c2c8"}]}