{"push_id":821506248,"size":15,"distinct_size":14,"ref":"refs/heads/master","head":"db830d9cc71aed121f6f52c1e62c9d311f4030c9","before":"8be2cc8fd426f31e76852e8f3c83140d7c1b1521","commits":[{"sha":"93397f9235e3d800c90939e93a10d7d2cab4314d","author":{"email":"979058fa2391c60fec8c466b91121fa794e5d834@cmu.edu","name":"Arie Gurfinkel"},"message":"deleted empty files","distinct":false,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/93397f9235e3d800c90939e93a10d7d2cab4314d"},{"sha":"a5a73ca7a7bc50c812659352161ccbd7f8276eb2","author":{"email":"c1a67751a8620bd988af81f751032594e1c2da0c@ispras.ru","name":"Vadim Mutilin"},"message":"Add ldv-races to Concurrency category","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/a5a73ca7a7bc50c812659352161ccbd7f8276eb2"},{"sha":"565becdd77c8e88dee239ffb6e170a68fa3fdff6","author":{"email":"c1a67751a8620bd988af81f751032594e1c2da0c@ispras.ru","name":"Vadim Mutilin"},"message":"Add linux-4.2-rc1 and validator-v0.8 benchmarks to DeviceDrivers64 category","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/565becdd77c8e88dee239ffb6e170a68fa3fdff6"},{"sha":"8d571996b3985548271e0ca724bfa144619a31ba","author":{"email":"f75c399cc90244e26e6319132b16756799e7d78b@cs.utah.edu","name":"Zvonimir"},"message":"Fixed declaration of __VERIFIER_assume\n\nBased on the SVCOMP rules, __VERIFIER_assume should take int as\nits argument and not _Bool.","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/8d571996b3985548271e0ca724bfa144619a31ba"},{"sha":"1b5cda46273750b40b75b9b5f00e1c413550a3d8","author":{"email":"566abccb0fc1c7af01796bc811875930ec300f78@qmul.ac.uk","name":"Michael Tautschnig"},"message":"Do not add offset when testing whether pointer dereference could be valid","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/1b5cda46273750b40b75b9b5f00e1c413550a3d8"},{"sha":"af3ccbbc19ea5b7761529d0459b5036f1549c48c","author":{"email":"c1a67751a8620bd988af81f751032594e1c2da0c@ispras.ru","name":"Vadim Mutilin"},"message":"Fix initialization of gfp_t type by nondet value","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/af3ccbbc19ea5b7761529d0459b5036f1549c48c"},{"sha":"d39395bb8641f365e772710b632921868c45a183","author":{"email":"325807c572bc9a0ff0163cd280b8e4dc7899bf95@Manchuns-MacBook-Air.local","name":"Manchun Zheng"},"message":"pthread-atomic/gcd_true-unreach-call_true-termination.c\n\nfixed uninitialized variables using nondet_uint function calls","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/d39395bb8641f365e772710b632921868c45a183"},{"sha":"3ed9ae9cd9a69a31b0f46064b1414c52c2f59a61","author":{"email":"566abccb0fc1c7af01796bc811875930ec300f78@qmul.ac.uk","name":"Michael Tautschnig"},"message":"main should not take arguments","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/3ed9ae9cd9a69a31b0f46064b1414c52c2f59a61"},{"sha":"31f9adafe4ea48029cde2cd4886dc2ef581ade5c","author":{"email":"566abccb0fc1c7af01796bc811875930ec300f78@qmul.ac.uk","name":"Michael Tautschnig"},"message":"Added missing #include, fixed bit width of busybox test compilation","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/31f9adafe4ea48029cde2cd4886dc2ef581ade5c"},{"sha":"16cb9ee5a2c7412360e81ce0adf910cdc61b8a2f","author":{"email":"325807c572bc9a0ff0163cd280b8e4dc7899bf95@Manchuns-MacBook-Air.local","name":"Manchun Zheng"},"message":"fixed unintialized variables using nondet_int function calls","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/16cb9ee5a2c7412360e81ce0adf910cdc61b8a2f"},{"sha":"c1bc5c7d02c02fa00626e669f86a2c6ec5b3a7dd","author":{"email":"386a21e92f3928c26c3bfdc636aedf05dbb980b2@sosy-lab.org","name":"Dirk Beyer"},"message":"Merge pull request #29 from seahorn/empty-files\n\ndeleted empty files","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/c1bc5c7d02c02fa00626e669f86a2c6ec5b3a7dd"},{"sha":"b3b92a6c274470419e373161b5a1eb13181dbdf7","author":{"email":"386a21e92f3928c26c3bfdc636aedf05dbb980b2@sosy-lab.org","name":"Dirk Beyer"},"message":"Merge pull request #30 from mutilin/master\n\nAdd ldv- benchmarks to the corresponding category sets","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/b3b92a6c274470419e373161b5a1eb13181dbdf7"},{"sha":"11d8511ba87e54482cd4064dbd4646ee0a0dce62","author":{"email":"386a21e92f3928c26c3bfdc636aedf05dbb980b2@sosy-lab.org","name":"Dirk Beyer"},"message":"Merge pull request #31 from smackers/master\n\nFixed declaration of __VERIFIER_assume","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/11d8511ba87e54482cd4064dbd4646ee0a0dce62"},{"sha":"d4d25e0031bcea51d176e4322b0645aa97d79b1f","author":{"email":"386a21e92f3928c26c3bfdc636aedf05dbb980b2@sosy-lab.org","name":"Dirk Beyer"},"message":"Merge pull request #32 from tautschnig/busybox-fixes\n\nDo not add offset when testing whether pointer dereference could be valid, proper main()","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/d4d25e0031bcea51d176e4322b0645aa97d79b1f"},{"sha":"db830d9cc71aed121f6f52c1e62c9d311f4030c9","author":{"email":"386a21e92f3928c26c3bfdc636aedf05dbb980b2@sosy-lab.org","name":"Dirk Beyer"},"message":"Merge pull request #33 from zmanchun/master\n\nfixed uninitialized variables using nondet_int function calls","distinct":true,"url":"https://api.github.com/repos/seahorn/sv-benchmarks/commits/db830d9cc71aed121f6f52c1e62c9d311f4030c9"}]}